org.mindswap.pellet.tableau.completion.incremental

Class CloseBranchDependency

java.lang.Object

org.mindswap.pellet.tableau.completion.incremental.BranchDependency

org.mindswap.pellet.tableau.completion.incremental.CloseBranchDependency

All Implemented Interfaces:

Dependency

public class CloseBranchDependency
extends BranchDependency

A depedency for a closed disjunct, merge pair, etc. for a branch

Author:

Christian Halaschek-Wiener

Field Summary

Fields inherited from class org.mindswap.pellet.tableau.completion.incremental.BranchDependency

assertion

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other) Equals method
int	getBranch()
aterm.ATermAppl	getInd()
Branch	getTheBranch()
int	getTryNext()
int	hashCode() Hashcode method TODO: this may not be sufficient
String	toString() ToString method

Methods inherited from class org.mindswap.pellet.tableau.completion.incremental.BranchDependency

getAssertion

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CloseBranchDependency

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

Method Detail

getInd

public aterm.ATermAppl getInd()

Returns:

toString

public String toString()

ToString method

Overrides:

toString in class Object

equals

public boolean equals(Object other)

Equals method

Overrides:

equals in class Object

hashCode

public int hashCode()

Hashcode method TODO: this may not be sufficient

Overrides:

hashCode in class Object

getBranch

public int getBranch()

getTryNext

public int getTryNext()

getTheBranch

public Branch getTheBranch()