Package openllet.core.tableau.completion.incremental

Class CloseBranchDependency

java.lang.Object

openllet.core.tableau.completion.incremental.BranchDependency

openllet.core.tableau.completion.incremental.CloseBranchDependency

All Implemented Interfaces:

Dependency

public class CloseBranchDependency
extends BranchDependency

A dependency for a closed disjunct, merge pair, etc. for a _branch

Author:

Christian Halaschek-Wiener

Constructor Summary

Constructors

Constructor	Description
CloseBranchDependency(openllet.aterm.ATermAppl assertion, int tryNext, Branch theBranch)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object other)
int	getBranch()
Branch	getCloseBranch()
openllet.aterm.ATermAppl	getInd()
int	getTryNext()
int	hashCode()	TODO: this hash may not be sufficient
java.lang.String	toString()

Methods inherited from class openllet.core.tableau.completion.incremental.BranchDependency

getAssertion

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CloseBranchDependency

public CloseBranchDependency(openllet.aterm.ATermAppl assertion,
                             int tryNext,
                             Branch theBranch)

Method Detail

getInd

public openllet.aterm.ATermAppl getInd()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

TODO: this hash may not be sufficient

Overrides:

hashCode in class java.lang.Object

getBranch

public int getBranch()

getTryNext

public int getTryNext()

getCloseBranch

public Branch getCloseBranch()