Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.io | |
de.uni_due.inf.ti.graph.random |
This package contains classes which generate random graphs, rules and
other graph-related objects.
|
de.uni_due.inf.ti.graph.util |
Utility classes.
|
de.uni_due.inf.ti.graph.visual |
The classes of this package provide an interface between the Hypergraph
Library and the VisiGraph graph visualization library.
|
Class and 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.
|
InterfaceGraph
This class represents a hypergraph with an inner and an outer interface.
|
InterfaceGraph.Interface
List which updates the parent class's modCount when it is modified.
|
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.TestData
This class represents the result of checking whether a path decomposition
is really a path decomposition of a graph.
|
PathDecomposition.TestResult |
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.
|
TransitionSystem
This interface represents graph transition systems.
|
Class and Description |
---|
ExplicitTransitionSystem
This class represents a graph transition system in which all graphs and
transitions are explicitly stored.
|
Graph
This class represents a hypergraph.
|
Morphism
This class represents a (partial) morphism.
|
NamedObject
This class represents an object with a name.
|
Rule |
Trace
Object which represent a single trace.
|
Transition
This class represents a transition in a transition system.
|
Class and Description |
---|
Graph
This class represents a hypergraph.
|
Label
This class represents an edge label.
|
Rule |
Class and Description |
---|
Graph
This class represents a hypergraph.
|
Morphism
This class represents a (partial) morphism.
|
Class and Description |
---|
ExplicitTransitionSystem
This class represents a graph transition system in which all graphs and
transitions are explicitly stored.
|
Graph
This class represents a hypergraph.
|
Morphism
This class represents a (partial) morphism.
|