|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Branch | |
---|---|
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 | |
---|---|
void |
ContinuousRulesStrategy.restore(Branch branch)
|
void |
ContinuousRulesStrategy.restoreLocal(Individual ind,
Branch branch)
|
void |
RuleStrategy.restoreLocal(Individual ind,
Branch br)
|
Uses of Branch in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return types with arguments of type Branch | |
---|---|
java.util.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 | |
---|---|
class |
ChooseBranch
|
class |
DisjunctionBranch
|
class |
GuessBranch
Title: |
class |
IndividualBranch
|
class |
MaxBranch
|
class |
RuleBranch
|
Methods in org.mindswap.pellet.tableau.branch that return Branch | |
---|---|
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 | |
---|---|
void |
CompletionStrategy.addBranch(Branch newBranch)
|
void |
EmptySRIQStrategy.addBranch(Branch newBranch)
|
void |
CompletionStrategy.restore(Branch br)
|
void |
EmptySRIQStrategy.restore(Branch br)
|
void |
CompletionStrategy.restoreLocal(Individual ind,
Branch br)
|
void |
EmptySRIQStrategy.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 | |
---|---|
Branch |
BranchAddDependency.getBranch()
Get branch |
Branch |
CloseBranchDependency.getTheBranch()
|
Methods in org.mindswap.pellet.tableau.completion.incremental with parameters of type Branch | |
---|---|
void |
DependencyIndex.addBranchAddDependency(Branch branch)
Add a new branch 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 | |
---|---|
BranchAddDependency(aterm.ATermAppl assertion,
int index,
Branch branch)
Constructor |
|
CloseBranchDependency(aterm.ATermAppl assertion,
int tryNext,
Branch theBranch)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |