- 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.