Uses of Class
org.jmlspecs.samples.digraph.TransposableDigraph

Packages that use TransposableDigraph

org.jmlspecs.samples.digraph

This package contains samples of JML specifications for directed graphs.

Uses of TransposableDigraph in org.jmlspecs.samples.digraph

Subclasses of TransposableDigraph in org.jmlspecs.samples.digraph

class

SearchableDigraph Directed graphs that are searchable.

Constructors in org.jmlspecs.samples.digraph with parameters of type TransposableDigraph

TransposableDigraph_JML_Test.TestTranspose(TransposableDigraph receiver$)
Initialize this instance.

TransposableDigraph_JML_Test.TestAddNode(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.

TransposableDigraph_JML_Test.TestRemoveNode(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.

TransposableDigraph_JML_Test.TestAddArc(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestRemoveArc(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestIsNode(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.

TransposableDigraph_JML_Test.TestIsArc(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestIsAPath(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestToString(TransposableDigraph receiver$)
Initialize this instance.

TransposableDigraph_JML_Test.TestUnconnected(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.