A B C D E F G H I J K L M N O P R S T U V W 

S

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.
A B C D E F G H I J K L M N O P R S T U V W