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
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
CloseBranchDependency
public CloseBranchDependency(aterm.ATermAppl assertion,
int tryNext,
Branch theBranch)
getInd
public aterm.ATermAppl getInd()
- Returns:
toString
public java.lang.String toString()
- ToString method
- Overrides:
toString
in class java.lang.Object
equals
public boolean equals(java.lang.Object other)
- Equals method
- Overrides:
equals
in class java.lang.Object
hashCode
public int hashCode()
- Hashcode method
TODO: this may not be sufficient
- Overrides:
hashCode
in class java.lang.Object
getBranch
public int getBranch()
getTryNext
public int getTryNext()
getTheBranch
public Branch getTheBranch()
Copyright © 2004 Evren Sirin. All Rights Reserved.