ix.iplan
Class SanityChecker.NodeEndConnectivityChecker<L>

java.lang.Object
  extended by ix.iplan.SanityChecker.ReachableWithin<PNodeEnd,L>
      extended by ix.iplan.SanityChecker.NodeEndConnectivityChecker<L>
Enclosing class:
SanityChecker

protected abstract class SanityChecker.NodeEndConnectivityChecker<L>
extends SanityChecker.ReachableWithin<PNodeEnd,L>


Constructor Summary
protected SanityChecker.NodeEndConnectivityChecker()
           
 
Method Summary
(package private)  void checkConnectivity()
           
(package private)  void doesntReach(PNodeEnd from, PNodeEnd to)
           
(package private) abstract  PNodeEnd getStartingEndForWalk(PNode n)
           
(package private)  boolean isWithin(java.lang.Object top, PNodeEnd e)
           
 
Methods inherited from class ix.iplan.SanityChecker.ReachableWithin
collect, getSuccessor, getSuccessorLinks
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SanityChecker.NodeEndConnectivityChecker

protected SanityChecker.NodeEndConnectivityChecker()
Method Detail

isWithin

boolean isWithin(java.lang.Object top,
                 PNodeEnd e)
Specified by:
isWithin in class SanityChecker.ReachableWithin<PNodeEnd,L>

getStartingEndForWalk

abstract PNodeEnd getStartingEndForWalk(PNode n)

checkConnectivity

void checkConnectivity()

doesntReach

void doesntReach(PNodeEnd from,
                 PNodeEnd to)