|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GroundDisjunction | |
---|---|
org.semanticweb.HermiT.debugger | |
org.semanticweb.HermiT.monitor | |
org.semanticweb.HermiT.tableau |
Uses of GroundDisjunction in org.semanticweb.HermiT.debugger |
---|
Fields in org.semanticweb.HermiT.debugger with type parameters of type GroundDisjunction | |
---|---|
protected java.util.Map<GroundDisjunction,DerivationHistory.Disjunction> |
DerivationHistory.m_derivedDisjunctions
|
Methods in org.semanticweb.HermiT.debugger with parameters of type GroundDisjunction | |
---|---|
void |
DerivationHistory.disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
DerivationHistory.disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
|
DerivationHistory.Disjunction |
DerivationHistory.getDisjunction(GroundDisjunction groundDisjunction)
|
void |
DerivationHistory.groundDisjunctionDerived(GroundDisjunction groundDisjunction)
|
Constructors in org.semanticweb.HermiT.debugger with parameters of type GroundDisjunction | |
---|---|
DerivationHistory.Disjunction(GroundDisjunction groundDisjunction,
DerivationHistory.Derivation derivedBy)
|
Uses of GroundDisjunction in org.semanticweb.HermiT.monitor |
---|
Methods in org.semanticweb.HermiT.monitor with parameters of type GroundDisjunction | |
---|---|
void |
TableauMonitorForwarder.disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitorFork.disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitorAdapter.disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitor.disjunctProcessingFinished(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitorForwarder.disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitorFork.disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitorAdapter.disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitor.disjunctProcessingStarted(GroundDisjunction groundDisjunction,
int disjunct)
|
void |
TableauMonitorForwarder.groundDisjunctionDerived(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorFork.groundDisjunctionDerived(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorAdapter.groundDisjunctionDerived(GroundDisjunction groundDisjunction)
|
void |
TableauMonitor.groundDisjunctionDerived(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorForwarder.groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorFork.groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorAdapter.groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
|
void |
TableauMonitor.groundDisjunctionSatisfied(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorForwarder.processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorFork.processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorAdapter.processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
|
void |
TableauMonitor.processGroundDisjunctionFinished(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorForwarder.processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorFork.processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
|
void |
TableauMonitorAdapter.processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
|
void |
TableauMonitor.processGroundDisjunctionStarted(GroundDisjunction groundDisjunction)
|
Uses of GroundDisjunction in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as GroundDisjunction | |
---|---|
protected GroundDisjunction |
Tableau.m_firstGroundDisjunction
|
protected GroundDisjunction |
BranchingPoint.m_firstGroundDisjunction
|
protected GroundDisjunction |
Tableau.m_firstUnprocessedGroundDisjunction
|
protected GroundDisjunction |
BranchingPoint.m_firstUnprocessedGroundDisjunction
|
protected GroundDisjunction |
DisjunctionBranchingPoint.m_groundDisjunction
|
protected GroundDisjunction |
GroundDisjunction.m_nextGroundDisjunction
|
protected GroundDisjunction |
GroundDisjunction.m_previousGroundDisjunction
|
Methods in org.semanticweb.HermiT.tableau that return GroundDisjunction | |
---|---|
GroundDisjunction |
Tableau.getFirstUnprocessedGroundDisjunction()
|
GroundDisjunction |
GroundDisjunction.getNextGroundDisjunction()
|
GroundDisjunction |
GroundDisjunction.getPreviousGroundDisjunction()
|
Methods in org.semanticweb.HermiT.tableau with parameters of type GroundDisjunction | |
---|---|
void |
Tableau.addGroundDisjunction(GroundDisjunction groundDisjunction)
|
Constructors in org.semanticweb.HermiT.tableau with parameters of type GroundDisjunction | |
---|---|
DisjunctionBranchingPoint(Tableau tableau,
GroundDisjunction groundDisjunction,
int[] sortedDisjunctIndexes)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |