Kirk Rader  1.0-SNAPSHOT
Public Member Functions | List of all members
us.rader.tt.formula.Graphable Interface Reference

Objects that can render themselves as Graphviz digraphs. More...

Inheritance diagram for us.rader.tt.formula.Graphable:
Inheritance graph

Public Member Functions

void printDigraph (PrintStream stream, int indent)
 Print the Graphviz nodes and edges for this object to the given stream. More...
 

Detailed Description

Objects that can render themselves as Graphviz digraphs.

Definition at line 25 of file Graphable.java.

Member Function Documentation

◆ printDigraph()

void us.rader.tt.formula.Graphable.printDigraph ( PrintStream  stream,
int  indent 
)

Print the Graphviz nodes and edges for this object to the given stream.

Parameters
streamThe output stream.
indentThe number of spaces to indent each line.

Implemented in us.rader.tt.formula.Identity, us.rader.tt.formula.Operator, us.rader.tt.formula.SymbolicNode, us.rader.tt.formula.VariableBindingOperator, us.rader.tt.formula.Variable, and us.rader.tt.formula.Predicate.

Referenced by us.rader.tt.formula.Predicate.printDigraph(), us.rader.tt.formula.Identity.printDigraph(), and us.rader.tt.formula.Formula.toDigraph().


The documentation for this interface was generated from the following file: