org.mindswap.pellet.tableau.branch
Class LiteralValueBranch
java.lang.Object
org.mindswap.pellet.tableau.branch.Branch
org.mindswap.pellet.tableau.branch.LiteralValueBranch
public class LiteralValueBranch
- extends Branch
| Fields inherited from class org.mindswap.pellet.tableau.branch.Branch |
log |
| Methods inherited from class org.mindswap.pellet.tableau.branch.Branch |
getAnonCount, getBranch, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setAnonCount, setBranch, setLastClash, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, tryNext |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
LiteralValueBranch
public LiteralValueBranch(ABox abox,
CompletionStrategy strategy,
Literal lit,
Datatype datatype)
copyTo
public Branch copyTo(ABox abox)
- Specified by:
copyTo in class Branch
toString
public java.lang.String toString()
- Overrides:
toString in class Branch
shiftTryNext
public void shiftTryNext(int openIndex)
- Added for to re-open closed branches.
This is needed for incremental reasoning through deletions
- Specified by:
shiftTryNext in class Branch
- Parameters:
index - The shift index
getNode
public Node getNode()
- Specified by:
getNode in class Branch
Copyright © 2004 Evren Sirin. All Rights Reserved.