org.semanticweb.HermiT.tableau

Class BranchingPoint

java.lang.Object

org.semanticweb.HermiT.tableau.BranchingPoint

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

DisjunctionBranchingPoint

public class BranchingPoint
extends Object
implements Serializable

Represents a branching point for the tableau given to the constructor.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BranchingPoint(Tableau tableau)

Method Summary

Modifier and Type	Method and Description
int	getLevel()
void	startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)

Methods inherited from class java.lang.Object

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

Constructor Detail

BranchingPoint

public BranchingPoint(Tableau tableau)

Parameters:

tableau - tableau

Method Detail

getLevel

public int getLevel()

Returns:

level

startNextChoice

public void startNextChoice(Tableau tableau,
                            DependencySet clashDepdendencySet)

Parameters:

tableau - tableau

clashDepdendencySet - clashDepdendencySet