Uses of Class
org.mindswap.pellet.tableau.completion.incremental.BranchDependency

Packages that use BranchDependency

Package	Description
org.mindswap.pellet.tableau.completion.incremental

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

Subclasses of BranchDependency in org.mindswap.pellet.tableau.completion.incremental

Modifier and Type	Class and Description
class	BranchAddDependency Dependency structure for when a branch is added.
class	CloseBranchDependency A depedency for a closed disjunct, merge pair, etc.

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

Modifier and Type	Method and Description
protected BranchDependency	DependencyEntry.addBranchAddDependency(aterm.ATermAppl assertion, int branchId, Branch branch) Add a branch add dependency
protected BranchDependency	DependencyEntry.addCloseBranchDependency(aterm.ATermAppl assertion, Branch theBranch) Add a branch remove ds dependency