Interface | Description |
---|---|
TransitionSystem |
This interface represents graph transition systems.
|
Class | Description |
---|---|
AttributeObject |
Common superclass for classes which have a single int attribute.
|
Edge |
This class represents a hyperedge in a graph.
|
ExplicitTransitionSystem |
This class represents a graph transition system in which all graphs and
transitions are explicitly stored.
|
Graph |
This class represents a hypergraph.
|
GraphElement |
This is the common superclass of parts of graphs, that is, of Node and
Edge.
|
GraphFactory |
This is a factory class which contains methods which create
Graph and InterfaceGraph objects. |
InterfaceGraph |
This class represents a hypergraph with an inner and an outer interface.
|
Label |
This class represents an edge label.
|
Morphism |
This class represents a (partial) morphism.
|
Morphism.MorphismCollection |
This class is a collection of morphisms.
|
Morphism.MorphismResult |
This class is returned by methods that need to return a new morphism
and information about how the nodes and edges of the domain and codomain
of the new morphism correspond to the nodes and edges of the domain and
codomain of this morphism.
|
NacRule |
This class represents rules with negative application conditions.
|
NamedObject |
This class represents an object with a name.
|
Node |
This class represents a node in a graph.
|
PathDecomposition | |
PathDecomposition.TestData |
This class represents the result of checking whether a path decomposition
is really a path decomposition of a graph.
|
Rule | |
Trace |
Object which represent a single trace.
|
TransformationParams | |
TransformationSystem |
This class represents a graph transformation system.
|
Transition |
This class represents a transition in a transition system.
|
Enum | Description |
---|---|
PathDecomposition.TestResult |