org.mindswap.pellet.tableau.branch
Class ChooseBranch

java.lang.Object
  extended by org.mindswap.pellet.tableau.branch.Branch
      extended by org.mindswap.pellet.tableau.branch.DisjunctionBranch
          extended by org.mindswap.pellet.tableau.branch.ChooseBranch

public class ChooseBranch
extends DisjunctionBranch


Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.branch.Branch
log
 
Constructor Summary
ChooseBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl c, DependencySet ds)
           
 
Method Summary
 
Methods inherited from class org.mindswap.pellet.tableau.branch.DisjunctionBranch
copyTo, getDisjunct, getNode, printLong, setDisj, setLastClash, shiftTryNext
 
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

ChooseBranch

public ChooseBranch(ABox abox,
                    CompletionStrategy completion,
                    Node node,
                    aterm.ATermAppl c,
                    DependencySet ds)


Copyright © 2004 Evren Sirin. All Rights Reserved.