| Class | Description |
|---|---|
| BDDView |
This class provides a
VisualGraph to visualize binary decision diagrams. |
| BoundEncodingVisualizer |
This class provides a
Display to visualize Vertex/Edge Bound encodings. |
| ColorabilityEncodingVisualizer |
This class provides a
Display to visualize Colorability encodings. |
| CospanView |
This class provides a
VisualGraph to visualize cospans. |
| CountingEncodingVisualizer |
This class provides a
Display to visualize Vertex/Edge Counting encodings. |
| DecompositionView |
This class provides a
Display to visualize graph decompositions. |
| DefaultEncodingVisualizer |
This class provides a
Display to visualize BDD encodings. |
| DominatingSetEncodingVisualizer |
This class provides a
Display to visualize DominatedSet encodings. |
| EncodingView |
This class provides a
VisualGraph to visualize encodings. |
| GraphView |
This class provides a
VisualGraph to visualize graphs. |
| LinkEncodingVisualizer |
This class provides a
Display to visualize Link encodings. |
| NoIsolatedNodesEncodingVisualizer |
This class provides a
Display to visualize NoIsolatedNodes encodings. |
| PathEncodingVisualizer |
This class provides a
Display to visualize Path encodings. |
| SubgraphEncodingVisualizer |
This class provides a
Display to visualize Subgraph encodings. |
| VertexCoverEncodingVisualizer |
This class provides a
Display to visualize VertexCover encodings. |
| VisualGraph |
This class is a utility class to layout the different "graphical" objects used
in Raven such as graphs, cospans, automata, ...
|