- Edge - Class in de.uni_due.inf.ti.graph
-
This class represents a hyperedge in a graph.
- edges - Variable in class de.uni_due.inf.ti.graph.Graph
-
The collection of edges in this graph.
- edgeStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
- enable_tracing() - Method in class de.uni_due.inf.ti.graph.io.SgfParser
-
Enable tracing.
- endColumn - Variable in class de.uni_due.inf.ti.graph.io.Token
-
The column number of the last character of this Token.
- endLine - Variable in class de.uni_due.inf.ti.graph.io.Token
-
The line number of the last character of this Token.
- entrySet() - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashMap
- EOF - Static variable in interface de.uni_due.inf.ti.graph.io.SgfParserConstants
-
End of File.
- eol - Variable in exception de.uni_due.inf.ti.graph.io.ParseException
-
The end of line string for this machine.
- equals(Object) - Method in class de.uni_due.inf.ti.graph.io.DotStyle
-
Determined whether a given object is equal to this style.
- equals(Object) - Method in class de.uni_due.inf.ti.graph.Label
- equals(Object) - Method in class de.uni_due.inf.ti.graph.Morphism
-
Determines if this morphism is equal to a given object.
- equals(Object) - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
-
Returns whether these two isomorphism sets contain the same elements
(modulo isomorphism).
- ExpandBuff(boolean) - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
- expectedTokenSequences - Variable in exception de.uni_due.inf.ti.graph.io.ParseException
-
Each entry in this array is an array of integers.
- ExplicitTransitionSystem - Class in de.uni_due.inf.ti.graph
-
This class represents a graph transition system in which all graphs and
transitions are explicitly stored.
- ExplicitTransitionSystem(Graph) - Constructor for class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Creates a new ExplicitTransitionSystem with a given initial graph and
no transitions.
- ExplicitTransitionSystem(ExplicitTransitionSystem) - Constructor for class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Creates a new ExplicitTransitionSystem which is a copy of another one.
- exportGraph(Graph, File) - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Exports a graph.
- exportGraphToStream(Graph, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Writes a visual representation of a graph to a binary stream.
- exportGraphToStream(Graph, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Writes a visual representation of a graph to a binary stream.
- exportGraphToStream(Graph, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
Writes a visual representation of a graph to a binary stream.
- exportRule(Rule, File) - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Exports a rule.
- exportRuleToStream(Rule, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Writes a visual representation of a rule to a binary stream.
- exportRuleToStream(Rule, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Writes a visual representation of a rule to a binary stream.
- exportRuleToStream(Rule, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
Writes a visual representation of a rule to a binary stream.
- exportSystemToStream(ExplicitTransitionSystem, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Writes a visual representation of a labeled transition system to a
binary stream.
- exportSystemToStream(ExplicitTransitionSystem, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Writes a visual representation of a labeled transition system to a
binary stream.
- exportSystemToStream(ExplicitTransitionSystem, OutputStream) - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
- exportTransformationSequence(List<Transition>, File) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Write a representation of a transformation sequence to a file.
- exportTransformationSequence(List<Transition>, File) - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Write a representation of a transformation sequence to a file.
- exportTransitionSystem(ExplicitTransitionSystem, File) - Method in class de.uni_due.inf.ti.graph.io.GraphExporter
-
Writes a visual representation of an explicit transition system to
a file.