Uses of Class
org.mindswap.pellet.tableau.branch.Branch

Packages that use Branch

Package	Description
com.clarkparsia.pellet.rules
org.mindswap.pellet
org.mindswap.pellet.tableau.branch
org.mindswap.pellet.tableau.completion
org.mindswap.pellet.tableau.completion.incremental

Uses of Branch in com.clarkparsia.pellet.rules

Methods in com.clarkparsia.pellet.rules with parameters of type Branch

Modifier and Type	Method and Description
void	ContinuousRulesStrategy.restore(Branch branch)
void	RuleStrategy.restoreLocal(Individual ind, Branch br)
void	ContinuousRulesStrategy.restoreLocal(Individual ind, Branch branch)

Uses of Branch in org.mindswap.pellet

Methods in org.mindswap.pellet that return types with arguments of type Branch

Modifier and Type	Method and Description
List<Branch>	ABox.getBranches() Returns the branches.

Uses of Branch in org.mindswap.pellet.tableau.branch

Subclasses of Branch in org.mindswap.pellet.tableau.branch

Modifier and Type	Class and Description
class	ChooseBranch
class	DisjunctionBranch
class	GuessBranch Title:
class	IndividualBranch
class	MaxBranch
class	RuleBranch

Methods in org.mindswap.pellet.tableau.branch that return Branch

Modifier and Type	Method and Description
abstract Branch	Branch.copyTo(ABox abox)

Uses of Branch in org.mindswap.pellet.tableau.completion

Methods in org.mindswap.pellet.tableau.completion with parameters of type Branch

Modifier and Type	Method and Description
void	EmptySRIQStrategy.addBranch(Branch newBranch)
void	CompletionStrategy.addBranch(Branch newBranch)
void	EmptySRIQStrategy.restore(Branch br)
void	CompletionStrategy.restore(Branch br)
void	EmptySRIQStrategy.restoreLocal(Individual ind, Branch br)
void	CompletionStrategy.restoreLocal(Individual ind, Branch br)

Uses of Branch in org.mindswap.pellet.tableau.completion.incremental

Methods in org.mindswap.pellet.tableau.completion.incremental that return Branch

Modifier and Type	Method and Description
Branch	BranchAddDependency.getBranch() Get branch
Branch	CloseBranchDependency.getTheBranch()

Methods in org.mindswap.pellet.tableau.completion.incremental with parameters of type Branch

Modifier and Type	Method and Description
protected BranchDependency	DependencyEntry.addBranchAddDependency(aterm.ATermAppl assertion, int branchId, Branch branch) Add a branch add dependency
void	DependencyIndex.addBranchAddDependency(Branch branch) Add a new branch dependency
protected BranchDependency	DependencyEntry.addCloseBranchDependency(aterm.ATermAppl assertion, Branch theBranch) Add a branch remove ds dependency
void	DependencyIndex.addCloseBranchDependency(Branch branch, DependencySet ds) Add a new branch ds removal dependency
void	DependencyIndex.removeBranchDependencies(Branch b) Remove branch dependencies - this is needed due to backjumping!

Constructors in org.mindswap.pellet.tableau.completion.incremental with parameters of type Branch

Constructor and Description
BranchAddDependency(aterm.ATermAppl assertion, int index, Branch branch) Constructor
CloseBranchDependency(aterm.ATermAppl assertion, int tryNext, Branch theBranch)