org.semanticweb.HermiT.tableau

Class DisjunctionBranchingPoint

java.lang.Object

org.semanticweb.HermiT.tableau.BranchingPoint

org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint

All Implemented Interfaces:

Serializable

public final class DisjunctionBranchingPoint
extends BranchingPoint

Disjunction branching point.

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	startNextChoice(Tableau tableau, DependencySet clashDependencySet)

Methods inherited from class org.semanticweb.HermiT.tableau.BranchingPoint

getLevel

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DisjunctionBranchingPoint

public DisjunctionBranchingPoint(Tableau tableau,
                                 GroundDisjunction groundDisjunction,
                                 int[] sortedDisjunctIndexes)

Parameters:

tableau - tableau

groundDisjunction - groundDisjunction

sortedDisjunctIndexes - sortedDisjunctIndexes

Method Detail

startNextChoice

public void startNextChoice(Tableau tableau,
                            DependencySet clashDependencySet)

Overrides:

startNextChoice in class BranchingPoint

Parameters:

tableau - tableau

clashDependencySet - clashDepdendencySet