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

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.incremental.BranchDependency
      extended by 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

Constructor Summary
CloseBranchDependency(aterm.ATermAppl assertion, int tryNext, Branch theBranch)
           
 
Method Summary
 boolean equals(java.lang.Object other)
          Equals method
 int getBranch()
           
 aterm.ATermAppl getInd()
           
 Branch getTheBranch()
           
 int getTryNext()
           
 int hashCode()
          Hashcode method TODO: this may not be sufficient
 java.lang.String toString()
          ToString method
 
Methods inherited from class org.mindswap.pellet.tableau.completion.incremental.BranchDependency
getAssertion
 
Methods inherited from class java.lang.Object
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 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.