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

Packages that use GroundDisjunction

Package	Description
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.monitor
org.semanticweb.HermiT.tableau

Uses of GroundDisjunction in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger with parameters of type GroundDisjunction

Modifier and Type	Method and Description
void	DerivationHistory.disjunctProcessingFinished(GroundDisjunction groundDisjunction, int disjunct)
void	DerivationHistory.disjunctProcessingStarted(GroundDisjunction groundDisjunction, int disjunct)
org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction	DerivationHistory.getDisjunction(GroundDisjunction groundDisjunction)
void	DerivationHistory.groundDisjunctionDerived(GroundDisjunction groundDisjunction)

Uses of GroundDisjunction in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type GroundDisjunction

Modifier and Type	Method and Description
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

Methods in org.semanticweb.HermiT.tableau that return GroundDisjunction

Modifier and Type	Method and Description
GroundDisjunction	Tableau.getFirstUnprocessedGroundDisjunction()
GroundDisjunction	GroundDisjunction.getNextGroundDisjunction()
GroundDisjunction	GroundDisjunction.getPreviousGroundDisjunction()

Methods in org.semanticweb.HermiT.tableau with parameters of type GroundDisjunction

Modifier and Type	Method and Description
void	Tableau.addGroundDisjunction(GroundDisjunction groundDisjunction)

Constructors in org.semanticweb.HermiT.tableau with parameters of type GroundDisjunction

Constructor and Description
DisjunctionBranchingPoint(Tableau tableau, GroundDisjunction groundDisjunction, int[] sortedDisjunctIndexes)