org.mindswap.pellet.tableau.branch

Class GuessBranch

java.lang.Object

org.mindswap.pellet.tableau.branch.Branch

org.mindswap.pellet.tableau.branch.IndividualBranch

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.IndividualBranch

ind

Fields inherited from class org.mindswap.pellet.tableau.branch.Branch

abox, anonCount, branch, log, nodeCount, strategy, tryCount, tryNext

Constructor Summary

Constructors

Constructor and Description
GuessBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int minGuess, int maxGuess, aterm.ATermAppl q, DependencySet ds)

Method Summary

Modifier and Type	Method and Description
IndividualBranch	copyTo(ABox abox)
void	shiftTryNext(int openIndex) Added for to re-open closed branches.
String	toString()
protected void	tryBranch()

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

clone, equals, finalize, 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

tryBranch

protected void tryBranch()

Specified by:

tryBranch in class Branch

toString

public 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