Package | Description |
---|---|
de.uni_due.inf.ti.graph |
Modifier and Type | Class and Description |
---|---|
class |
ExplicitTransitionSystem
This class represents a graph transition system in which all graphs and
transitions are explicitly stored.
|
class |
Trace
Object which represent a single trace.
|
class |
TransformationSystem
This class represents a graph transformation system.
|