|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.tableau.branch.Branch
org.mindswap.pellet.tableau.branch.IndividualBranch
org.mindswap.pellet.tableau.branch.DisjunctionBranch
org.mindswap.pellet.tableau.branch.ChooseBranch
public class ChooseBranch
| Field Summary |
|---|
| Fields inherited from class org.mindswap.pellet.tableau.branch.Branch |
|---|
log |
| Constructor Summary | |
|---|---|
ChooseBranch(ABox abox,
CompletionStrategy completion,
Individual x,
aterm.ATermAppl c,
DependencySet ds)
|
|
| Method Summary |
|---|
| Methods inherited from class org.mindswap.pellet.tableau.branch.DisjunctionBranch |
|---|
copyTo, getDisjunct, printLong, setDisj, setLastClash, shiftTryNext |
| Methods inherited from class org.mindswap.pellet.tableau.branch.IndividualBranch |
|---|
getNode |
| Methods inherited from class org.mindswap.pellet.tableau.branch.Branch |
|---|
getAnonCount, getBranch, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setAnonCount, setBranch, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, toString, tryNext |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public ChooseBranch(ABox abox,
CompletionStrategy completion,
Individual x,
aterm.ATermAppl c,
DependencySet ds)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||