Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.io |
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 |
Graph
This class represents a hypergraph.
|
class |
InterfaceGraph
This class represents a hypergraph with an inner and an outer interface.
|
class |
NacRule
This class represents rules with negative application conditions.
|
class |
Rule |
class |
Trace
Object which represent a single trace.
|
class |
TransformationSystem
This class represents a graph transformation system.
|
Constructor and Description |
---|
NamedObject(NamedObject orig)
Creates a new NamedObject which has the same name as a given
NamedObject.
|
Modifier and Type | Method and Description |
---|---|
void |
PngExporter.setVisualization(NamedObject obj,
de.uni_due.inf.ti.visigraph.VxGraph visi)
Associates an existing visualization object to an object.
|