org.semanticweb.HermiT.tableau
Class GroundDisjunction
java.lang.Object
org.semanticweb.HermiT.tableau.GroundDisjunction
- All Implemented Interfaces:
- Serializable
public final class GroundDisjunction
- extends Object
- implements Serializable
- See Also:
- Serialized Form
m_groundDisjunctionHeader
protected final GroundDisjunctionHeader m_groundDisjunctionHeader
m_arguments
protected final Node[] m_arguments
m_isCore
protected final boolean[] m_isCore
m_dependencySet
protected PermanentDependencySet m_dependencySet
m_previousGroundDisjunction
protected GroundDisjunction m_previousGroundDisjunction
m_nextGroundDisjunction
protected GroundDisjunction m_nextGroundDisjunction
GroundDisjunction
public GroundDisjunction(Tableau tableau,
GroundDisjunctionHeader groundDisjunctionHeader,
Node[] arguments,
boolean[] isCore,
DependencySet dependencySet)
getPreviousGroundDisjunction
public GroundDisjunction getPreviousGroundDisjunction()
getNextGroundDisjunction
public GroundDisjunction getNextGroundDisjunction()
destroy
public void destroy(Tableau tableau)
getNumberOfDisjuncts
public int getNumberOfDisjuncts()
getDLPredicate
public DLPredicate getDLPredicate(int disjunctIndex)
getArgument
public Node getArgument(int disjunctIndex,
int argumentIndex)
isCore
public boolean isCore(int disjunctIndex)
getDependencySet
public DependencySet getDependencySet()
getGroundDisjunctionHeader
public GroundDisjunctionHeader getGroundDisjunctionHeader()
isPruned
public boolean isPruned()
isSatisfied
public boolean isSatisfied(Tableau tableau)
addDisjunctToTableau
public boolean addDisjunctToTableau(Tableau tableau,
int disjunctIndex,
DependencySet dependencySet)
toString
public String toString(Prefixes prefixes)
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.