Uses of Interface
org.jmlspecs.samples.digraph.NodeType

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

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.