Package | Description |
---|---|
de.uni_due.inf.ti.graph | |
de.uni_due.inf.ti.graph.io | |
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.
|
Modifier and Type | Method and Description |
---|---|
static ExplicitTransitionSystem |
ExplicitTransitionSystem.create(Graph initial,
java.util.Collection<Transition> transitions)
Creates a new ExplicitTransitionSystem.
|
static ExplicitTransitionSystem |
ExplicitTransitionSystem.create(Graph initial,
Morphism... transitions)
Creates a new ExplicitTransitionSystem.
|
ExplicitTransitionSystem |
TransformationSystem.createExplicitTransitionSystem(int maxDepth)
Creates an ExplicitTransitionSystem which is equal to this
TransformationSystem up to a finite depth.
|
ExplicitTransitionSystem |
Trace.createTransitionSystem()
Returns a ExplicitTransitionSystem consisting of the transitions
of this Trace.
|
static ExplicitTransitionSystem |
ExplicitTransitionSystem.createWithMorphisms(Graph initial,
java.util.Collection<Morphism> morphisms)
Creates a new ExplicitTransitionSystem by giving a collection of
transition morphisms.
|
Constructor and Description |
---|
ExplicitTransitionSystem(ExplicitTransitionSystem orig)
Creates a new ExplicitTransitionSystem which is a copy of another one.
|
Modifier and Type | Method and Description |
---|---|
protected abstract void |
GraphExporter.exportSystemToStream(ExplicitTransitionSystem system,
java.io.OutputStream binOut)
Writes a visual representation of a labeled transition system to a
binary stream.
|
protected void |
PngExporter.exportSystemToStream(ExplicitTransitionSystem system,
java.io.OutputStream binOut) |
protected void |
DotExporter.exportSystemToStream(ExplicitTransitionSystem system,
java.io.OutputStream binOut)
Writes a visual representation of a labeled transition system to a
binary stream.
|
void |
GraphExporter.exportTransitionSystem(ExplicitTransitionSystem system,
java.io.File file)
Writes a visual representation of an explicit transition system to
a file.
|
void |
DotExporter.printDot(ExplicitTransitionSystem system,
java.io.PrintWriter out)
Write a DOT representation of this ExplicitTransitionSystem to a
PrintWriter.
|
java.lang.String |
SgfWriter.writeTransitionSystem(ExplicitTransitionSystem system)
Writes a transition system to this SgfWriter's stream.
|
Modifier and Type | Method and Description |
---|---|
void |
TransitionSystemPanel.setSystem(ExplicitTransitionSystem system)
Sets the transition system which is displayed by this
TransitionSystemPanel.
|
de.uni_due.inf.ti.visigraph.VxGraph |
GraphVisualizer.visualizeSystem(ExplicitTransitionSystem system)
Visualizes a transition system.
|