org.mindswap.pellet.tableau.branch
Class GuessBranch

java.lang.Object
  extended by org.mindswap.pellet.tableau.branch.Branch
      extended by org.mindswap.pellet.tableau.branch.IndividualBranch
          extended by org.mindswap.pellet.tableau.branch.GuessBranch

public class GuessBranch
extends IndividualBranch

Title:

Description:

Copyright: Copyright (c) 2006

Company: Clark & Parsia, LLC.

Author:
Evren sirin

Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.branch.Branch
log
 
Constructor Summary
GuessBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int minGuess, int maxGuess, aterm.ATermAppl q, DependencySet ds)
           
 
Method Summary
 IndividualBranch copyTo(ABox abox)
           
 void shiftTryNext(int openIndex)
          Added for to re-open closed branches.
 java.lang.String toString()
           
 
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, setLastClash, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, tryNext
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

GuessBranch

public GuessBranch(ABox abox,
                   CompletionStrategy strategy,
                   Individual x,
                   Role r,
                   int minGuess,
                   int maxGuess,
                   aterm.ATermAppl q,
                   DependencySet ds)
Method Detail

copyTo

public IndividualBranch 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 Currently this method does nothing as we cannot support incremental reasoning when both nominals and inverses are used - this is the only case when the guess rule is needed.

Specified by:
shiftTryNext in class Branch
Parameters:
index - The shift index


Copyright © 2004 Evren Sirin. All Rights Reserved.