ix.iplan
Class SanityChecker.NodeEndConnectivityChecker<L>

java.lang.Object
  ix.iplan.SanityChecker.ReachableWithin<PNodeEnd,L>
      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)