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

W

weaklyConnectedClosure(Collection<Node>) - Method in class de.uni_due.inf.ti.graph.Graph
Calculates the weakly connected closure of a collection of nodes.
weaklyConnectedClosure(Node) - Method in class de.uni_due.inf.ti.graph.Graph
Calculates the weakly connected closure of a node.
writeGraph(Graph) - Method in class de.uni_due.inf.ti.graph.io.SgfWriter
Writes a graph to this SgfWriter's stream.
writeMorphism(Morphism) - Method in class de.uni_due.inf.ti.graph.io.SgfWriter
Writes a morphism to this SgfWriter's stream.
writeTrace(Trace) - Method in class de.uni_due.inf.ti.graph.io.SgfWriter
Writes a trace to this SgfWriter's stream.
writeTransitionSystem(ExplicitTransitionSystem) - Method in class de.uni_due.inf.ti.graph.io.SgfWriter
Writes a transition system to this SgfWriter's stream.
A B C D E F G H I J K L M N O P R S T U V W