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

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)