ix.iplan
Class SanityChecker.ReachableWithin<T,L>

java.lang.Object
  extended by ix.iplan.SanityChecker.ReachableWithin<T,L>
Direct Known Subclasses:
SanityChecker.NodeEndConnectivityChecker
Enclosing class:
SanityChecker

protected abstract static class SanityChecker.ReachableWithin<T,L>
extends java.lang.Object


Constructor Summary
protected SanityChecker.ReachableWithin()
           
 
Method Summary
 java.util.Set<T> collect(java.lang.Object top, T start)
           
(package private) abstract  T getSuccessor(L link)
           
(package private) abstract  java.util.Collection<L> getSuccessorLinks(T at)
           
(package private) abstract  boolean isWithin(java.lang.Object top, T at)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SanityChecker.ReachableWithin

protected SanityChecker.ReachableWithin()
Method Detail

getSuccessorLinks

abstract java.util.Collection<L> getSuccessorLinks(T at)

getSuccessor

abstract T getSuccessor(L link)

isWithin

abstract boolean isWithin(java.lang.Object top,
                          T at)

collect

public java.util.Set<T> collect(java.lang.Object top,
                                T start)