Uses of Interface

Packages that use NodeType
org.jmlspecs.samples.digraph This package contains samples of JML specifications for directed graphs. 

Uses of NodeType in org.jmlspecs.samples.digraph

Classes in org.jmlspecs.samples.digraph that implement NodeType
 class SearchableNode
          Nodes for searchable graphs.
 class TransposableNode
          Nodes for transposable directed graphs.
 class ValueNode
          Nodes with values

Fields in org.jmlspecs.samples.digraph declared as NodeType
private  NodeType ArcType._from
private  NodeType ArcType._to
private  NodeType Arc.source
private  NodeType

Methods in org.jmlspecs.samples.digraph that return NodeType
 NodeType ArcType.getFrom()
 NodeType ArcType.getTo()
 NodeType Arc.getSource()
          Get the source node of this arc.
 NodeType Arc.getTarget()
          Get the target node of this arc.

Methods in org.jmlspecs.samples.digraph with parameters of type NodeType
 void Arc.setSource(NodeType source)
          Set the source node of this arc to the given node.
 void Arc.setTarget(NodeType target)
          Set the target node of this arc to the given node.
 void Digraph.addNode(NodeType n)
 void Digraph.removeNode(NodeType n)
 void Digraph.addArc(NodeType inFrom, NodeType inTo)
 void Digraph.removeArc(NodeType inFrom, NodeType inTo)
 boolean Digraph.isNode(NodeType n)
 boolean Digraph.isArc(NodeType inFrom, NodeType inTo)
 boolean Digraph.isAPath(NodeType start, NodeType end)
protected  HashSet Digraph.reachSet(NodeType start)
 boolean Digraph.unconnected(NodeType n)

Constructors in org.jmlspecs.samples.digraph with parameters of type NodeType
ArcType(NodeType from, NodeType to)
Arc(NodeType source, NodeType target)
          Initialize this arc with the given source and target.


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.