|
||||||||||
| 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 |
LiteralValueBranch
|
class |
MaxBranch
|
class |
RuleBranch
|
| Methods in org.mindswap.pellet.tableau.branch that return Branch | |
|---|---|
abstract Branch |
Branch.copyTo(ABox abox)
|
Branch |
LiteralValueBranch.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.restore(Branch br)
|
void |
EmptySHNStrategy.restore(Branch br)
|
void |
CompletionStrategy.restoreLocal(Individual ind,
Branch br)
|
void |
EmptySHNStrategy.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 | |||||||||