See: Description
| Class | Description |
|---|---|
| BoundaryRepresentation |
A boundary representation of a sub-sgraph.
|
| GraphAlgebra |
The algebra of s-graphs.
|
| GraphEdge |
An edge of an s-graph.
|
| GraphEdgeFactory |
An edge factory.
|
| GraphInfo |
Compactly represents the information of an s-graph in a format suited for the decomposition automata.
|
| GraphNode |
A node of an s-graph.
|
| SComponent |
A subgraph defined by boundary vertices, and in-boundary edges, such that all its vertices are connected without crossing a boundary vertex.
|
| SComponentRepresentation |
An s-component representation for s-graphs, used as states in the top-down automaton.
|
| SGraph |
An s-graph, in the sense of
Courcelle & Engelfriet 2012.
|
| SGraphBRDecompositionAutomatonBottomUp |
A bottom-up decomposition automaton for the s-graph algebra, using
BoundaryRepresentations as states. |
| SGraphBRDecompositionAutomatonTopDown |
A top-down decomposition automaton for the s-graph algebra, using
SComponentRepresentations as states. |
| SGraphDrawer |
A tool for drawing an s-graph into a Swing component.
|
Copyright © 2017. All rights reserved.