org.semanticweb.HermiT.hierarchy
Class HierarchySearch.SearchCache<U>

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.HierarchySearch.SearchCache<U>
Enclosing class:
HierarchySearch

protected static final class HierarchySearch.SearchCache<U>
extends java.lang.Object


Field Summary
protected  java.util.Set<U> m_negatives
           
protected  java.util.Set<U> m_positives
           
protected  java.util.Set<U> m_possibilities
           
protected  HierarchySearch.SearchPredicate<U> m_searchPredicate
           
 
Constructor Summary
HierarchySearch.SearchCache(HierarchySearch.SearchPredicate<U> f, java.util.Set<U> possibilities)
           
 
Method Summary
 boolean trueOf(U element)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_searchPredicate

protected final HierarchySearch.SearchPredicate<U> m_searchPredicate

m_possibilities

protected final java.util.Set<U> m_possibilities

m_positives

protected final java.util.Set<U> m_positives

m_negatives

protected final java.util.Set<U> m_negatives
Constructor Detail

HierarchySearch.SearchCache

public HierarchySearch.SearchCache(HierarchySearch.SearchPredicate<U> f,
                                   java.util.Set<U> possibilities)
Method Detail

trueOf

public boolean trueOf(U element)