Uses of Class
org.jmlspecs.samples.digraph.SearchableDigraph_JML_Test.OneTest

Packages that use SearchableDigraph_JML_Test.OneTest

org.jmlspecs.samples.digraph

This package contains samples of JML specifications for directed graphs.

Uses of SearchableDigraph_JML_Test.OneTest in org.jmlspecs.samples.digraph

Subclasses of SearchableDigraph_JML_Test.OneTest in org.jmlspecs.samples.digraph

protected static class	SearchableDigraph_JML_Test.TestAddArc Test for the addArc method.
protected static class	SearchableDigraph_JML_Test.TestAddNode Test for the addNode method.
protected static class	SearchableDigraph_JML_Test.TestDFS Test for the DFS method.
protected static class	SearchableDigraph_JML_Test.TestDFSVisit Test for the DFSVisit method.
protected static class	SearchableDigraph_JML_Test.TestIsAPath Test for the isAPath method.
protected static class	SearchableDigraph_JML_Test.TestIsArc Test for the isArc method.
protected static class	SearchableDigraph_JML_Test.TestIsNode Test for the isNode method.
protected static class	SearchableDigraph_JML_Test.TestRemoveArc Test for the removeArc method.
protected static class	SearchableDigraph_JML_Test.TestRemoveNode Test for the removeNode method.
protected static class	SearchableDigraph_JML_Test.TestSearchableDigraph Test for the SearchableDigraph contructor.
protected static class	SearchableDigraph_JML_Test.TestToString Test for the toString method.
protected static class	SearchableDigraph_JML_Test.TestTranspose Test for the transpose method.
protected static class	SearchableDigraph_JML_Test.TestUnconnected Test for the unconnected method.