SearchableDigraph (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.samples.digraph
Class SearchableDigraph

java.lang.Object
  org.jmlspecs.samples.digraph.Digraph
      org.jmlspecs.samples.digraph.TransposableDigraph
          org.jmlspecs.samples.digraph.SearchableDigraph

public class SearchableDigraph
extends TransposableDigraph

Directed graphs that are searchable.

Author:: Katie Becker, Gary T. Leavens

Field Summary

private int time


Fields inherited from class org.jmlspecs.samples.digraph.Digraph

arcSet, nodeSet

Constructor Summary

SearchableDigraph()
          Initialize this searchable digraph to be empty.

Method Summary

void DFS()


void DFSVisit(SearchableNode u)


Methods inherited from class org.jmlspecs.samples.digraph.TransposableDigraph

transpose

Methods inherited from class org.jmlspecs.samples.digraph.Digraph

addArc, addNode, isAPath, isArc, isNode, reachSet, removeArc, removeNode, toString, unconnected

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

time

private int time

Constructor Detail

SearchableDigraph

public SearchableDigraph()

Initialize this searchable digraph to be empty.

Method Detail

DFS

public void DFS()

DFSVisit

public void DFSVisit(SearchableNode u)