|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |