Uses of Class
org.semanticweb.HermiT.tableau.GroundDisjunctionHeader

Packages that use GroundDisjunctionHeader
org.semanticweb.HermiT.tableau   
 

Uses of GroundDisjunctionHeader in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as GroundDisjunctionHeader
protected  GroundDisjunctionHeader[] DLClauseEvaluator.GroundDisjunctionHeaderManager.m_buckets
           
protected  GroundDisjunctionHeader GroundDisjunction.m_groundDisjunctionHeader
           
protected  GroundDisjunctionHeader DLClauseEvaluator.DeriveDisjunction.m_groundDisjunctionHeader
           
protected  GroundDisjunctionHeader GroundDisjunctionHeader.m_nextEntry
           
 

Methods in org.semanticweb.HermiT.tableau that return GroundDisjunctionHeader
 GroundDisjunctionHeader DLClauseEvaluator.GroundDisjunctionHeaderManager.get(DLPredicate[] dlPredicates)
           
 GroundDisjunctionHeader GroundDisjunction.getGroundDisjunctionHeader()
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type GroundDisjunctionHeader
DLClauseEvaluator.DeriveDisjunction(java.lang.Object[] valuesBuffer, boolean[] coreVariables, DependencySet dependencySet, Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, int[] copyIsCore, int[] copyValuesToArguments)
           
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)
           
GroundDisjunctionHeader(DLPredicate[] dlPredicates, int hashCode, GroundDisjunctionHeader nextEntry)