- satisfiesDanglingEdgeCondition(Morphism) - Method in class de.uni_due.inf.ti.graph.Rule
-
Determines if a morphism satisfies the dangling edge condition
with respect to this rule.
- set(int, Node) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
-
- setAddMode(GraphVisualizer.AddMode) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer.VisualSynchronizer
-
- setAttribute(int) - Method in class de.uni_due.inf.ti.graph.AttributeObject
-
Sets the attribute of this AttributeObject.
- setBinaryArrows(boolean) - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Sets whether new edges are displayed as arrows.
- setBounds(double, double, double, double) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Sets the bounds of the generated graphs.
- setBounds(Rectangle2D) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Sets the bounds of the generated graphs to a rectangle.
- setConnectedness(RandomGraphGenerator.Connectedness) - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Sets the connectedness setting of this RandomGraphGenerator.
- setConnectedPanel(GraphPanel) - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Sets the GraphPanel where selected states and transitions are displayed.
- setConnectionStyleName(String) - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Sets the name of the style used for connections between hyperedges and
nodes which are added by this GraphSynchronizer.
- setCustomLabel(String) - Method in class de.uni_due.inf.ti.graph.Transition
-
Sets the custom label of this transition.
- setCustomStyles(Map<Object, DotStyle>) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Sets the custom styles for this DotExporter.
- setDebugStream(PrintStream) - Method in class de.uni_due.inf.ti.graph.io.SgfParserTokenManager
-
Set debug output.
- setDefaultEdgeStyle(DotStyle) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Sets the default style for hyperedges.
- setDefaultGraphStyle(DotStyle) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Sets the default style for the graphs in transition systems.
- setDefaultLineStyle(DotStyle) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Sets the default style for lines.
- setDefaultNodeStyle(DotStyle) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Sets the default style for graph nodes.
- setDensityDistribution(Distribution<Double>) - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Sets the distribution of the densities of the graphs generated
by this RandomGraphGenerator.
- setDiscrete(boolean) - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Sets whether this RandomRuleGenerator generates only rules with
discrete interfaces.
- setEdgeLabels(boolean) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Sets whether graph visualizations have edge labels.
- setEdgeStyleName(String) - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Sets the name of the style used for edges which are added by this
GraphSynchronizer.
- setHighlightStyle(DotStyle) - Method in class de.uni_due.inf.ti.graph.io.DotExporter
-
Sets the highlight style of this DotExporter.
- setHyperedgeStyleName(String) - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Sets the name of the style used for hyperedges which are added by this
GraphSynchronizer.
- setHyperStyle(boolean) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Sets whether this GraphVisualizer will always generated hypergraph
representations.
- setInitialGraph(Graph) - Method in class de.uni_due.inf.ti.graph.ExplicitTransitionSystem
-
Sets the initial graph.
- setInitialGraph(Graph) - Method in class de.uni_due.inf.ti.graph.TransformationSystem
-
Sets the initial graph of this graph transformation system.
- setInjectiveMatches(boolean) - Method in class de.uni_due.inf.ti.graph.TransformationParams
-
Sets the "injective matches" parameter.
- setInterfaceSizeDistribution(Distribution<Integer>) - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Sets the distribution for the size of the interfaces.
- setLabelDistribution(DiscreteDistribution<Label>) - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Sets the label distribution of this RandomGraphGenerator.
- setLabelStyleName(String) - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Sets the name of the style used for labels which are added by this
GraphSynchronizer.
- setLayouter(Layouter) - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
Sets the Layouter object which this PngExporter uses to layout new
VxGraph instances.
- setLayouter(Layouter) - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Sets the layouter object which is used to calculate positions for
the nodes and edges of the visualizations.
- setMatch(Morphism) - Method in class de.uni_due.inf.ti.graph.Transition
-
Sets the match of this transition.
- setName(String) - Method in class de.uni_due.inf.ti.graph.NamedObject
-
Sets the name of this NamedObject.
- setNodeCountDistribution(Distribution<Integer>) - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Sets the distribution of the number of nodes of the graph generated
by this RandomGraphGenerator.
- setNodeLabels(boolean) - Method in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
Sets whether graph visualizations have node labels.
- setNodeStyleName(String) - Method in class de.uni_due.inf.ti.graph.visual.GraphSynchronizer
-
Sets the name of the style used for nodes which are added by this
GraphSynchronizer.
- setRandom(Random) - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Sets the random number generator used by this RandomGraphGenerator.
- setRandom(Random) - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Sets the Java random number generator used by this
RandomRuleGenerator.
- setRule(Rule) - Method in class de.uni_due.inf.ti.graph.Transition
-
Sets the rule of this transition.
- setSignature(Collection<Label>) - Method in class de.uni_due.inf.ti.graph.random.RandomGraphGenerator
-
Sets the signature of this RandomGraphGenerator.
- setSignature(Collection<Label>) - Method in class de.uni_due.inf.ti.graph.random.RandomRuleGenerator
-
Sets the signature of the rules generated by this
RandomRuleGenerator.
- setSystem(ExplicitTransitionSystem) - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Sets the transition system which is displayed by this
TransitionSystemPanel.
- setTabSize(int) - Method in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
- setTransformationParams(TransformationParams) - Method in class de.uni_due.inf.ti.graph.Rule
-
Sets the transformation parameters for this rule.
- setVisualization(NamedObject, VxGraph) - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
Associates an existing visualization object to an object.
- setVisualization(Object, VxGraph) - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Sets the visualization of an object to a custom visualization.
- setVisualizer(GraphVisualizer) - Method in class de.uni_due.inf.ti.graph.io.PngExporter
-
Sets the GraphVisualizer object which transforms Graph instances to
VxGraph instances.
- setVisualizer(GraphVisualizer) - Method in class de.uni_due.inf.ti.graph.visual.TransitionSystemPanel
-
Sets the visualizer objects which is used to generate visualizations
of graph, transitions and transition systems.
- setWeight(int) - Method in class de.uni_due.inf.ti.graph.Transition
-
Sets the weight of this transition.
- SgfBuildException - Exception in de.uni_due.inf.ti.graph.io
-
This exception is thrown by SgfBuilder if it encounters a semantic error.
- SgfBuildException(int, int, String) - Constructor for exception de.uni_due.inf.ti.graph.io.SgfBuildException
-
Creates a new SgfBuildException.
- SgfBuildException(int, String) - Constructor for exception de.uni_due.inf.ti.graph.io.SgfBuildException
-
Creates a new SgfBuildException.
- SgfBuildException(int, int, String, Throwable) - Constructor for exception de.uni_due.inf.ti.graph.io.SgfBuildException
-
Creates a new SgfBuildException.
- SgfBuildException(int, String, Throwable) - Constructor for exception de.uni_due.inf.ti.graph.io.SgfBuildException
-
Creates a new SgfBuildException.
- SgfParser - Class in de.uni_due.inf.ti.graph.io
-
- SgfParser(InputStream) - Constructor for class de.uni_due.inf.ti.graph.io.SgfParser
-
Constructor with InputStream.
- SgfParser(InputStream, String) - Constructor for class de.uni_due.inf.ti.graph.io.SgfParser
-
Constructor with InputStream and supplied encoding
- SgfParser(Reader) - Constructor for class de.uni_due.inf.ti.graph.io.SgfParser
-
Constructor.
- SgfParser(SgfParserTokenManager) - Constructor for class de.uni_due.inf.ti.graph.io.SgfParser
-
Constructor with generated Token Manager.
- SgfParserConstants - Interface in de.uni_due.inf.ti.graph.io
-
Token literal values and constants.
- SgfParserTokenManager - Class in de.uni_due.inf.ti.graph.io
-
Token Manager.
- SgfParserTokenManager(SimpleCharStream) - Constructor for class de.uni_due.inf.ti.graph.io.SgfParserTokenManager
-
Constructor.
- SgfParserTokenManager(SimpleCharStream, int) - Constructor for class de.uni_due.inf.ti.graph.io.SgfParserTokenManager
-
Constructor.
- SgfWriter - Class in de.uni_due.inf.ti.graph.io
-
- SgfWriter(PrintStream) - Constructor for class de.uni_due.inf.ti.graph.io.SgfWriter
-
Creates a new SgfWriter instance.
- SimpleCharStream - Class in de.uni_due.inf.ti.graph.io
-
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
- SimpleCharStream(Reader, int, int, int) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(Reader, int, int) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(Reader) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, int, int, int) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String, int, int) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, int, int) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream) - Constructor for class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Constructor.
- size() - Method in class de.uni_due.inf.ti.graph.Morphism.MorphismCollection
- size() - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashMap
- size() - Method in class de.uni_due.inf.ti.graph.util.IsomorphismHashSet
-
Returns the number of graphs in this IsomorphismSet.
- specialToken - Variable in class de.uni_due.inf.ti.graph.io.Token
-
This field is used to access special tokens that occur prior to this
token, but after the immediately preceding regular (non-special) token.
- stateStyleName - Static variable in class de.uni_due.inf.ti.graph.visual.GraphVisualizer
-
- staticFlag - Static variable in class de.uni_due.inf.ti.graph.io.SimpleCharStream
-
Whether parser is static.
- streamFile(File, OutputStream) - Static method in class de.uni_due.inf.ti.graph.util.Misc
-
Streams the contents of a file to an output stream.
- STRING - Static variable in interface de.uni_due.inf.ti.graph.io.SgfParserConstants
-
RegularExpression Id.
- subList(int, int) - Method in class de.uni_due.inf.ti.graph.InterfaceGraph.Interface
-
- SwitchTo(int) - Method in class de.uni_due.inf.ti.graph.io.SgfParserTokenManager
-
Switch to specified lex state.