de.uni_due.inf.ti.graph
Interfaces
TransitionSystem
Classes
AttributeObject
Edge
ExplicitTransitionSystem
Graph
GraphElement
GraphFactory
InterfaceGraph
Label
Morphism
Morphism.MorphismCollection
Morphism.MorphismResult
NacRule
NamedObject
Node
PathDecomposition
PathDecomposition.TestData
Rule
Trace
TransformationParams
TransformationSystem
Transition
Enums
PathDecomposition.TestResult