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

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.incremental.BranchDependency
      extended by org.mindswap.pellet.tableau.completion.incremental.BranchAddDependency
All Implemented Interfaces:
Dependency

public class BranchAddDependency
extends BranchDependency

Dependency structure for when a branch is added.

Author:
Christian Halaschek-Wiener

Constructor Summary
BranchAddDependency(aterm.ATermAppl assertion, int index, Branch branch)
          Constructor
 
Method Summary
 boolean equals(java.lang.Object other)
          Equals method
 Branch getBranch()
          Get branch
 int hashCode()
          Hashcode method
 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

BranchAddDependency

public BranchAddDependency(aterm.ATermAppl assertion,
                           int index,
                           Branch branch)
Constructor

Parameters:
index -
branch -
Method Detail

getBranch

public Branch getBranch()
Get branch

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

Overrides:
hashCode in class java.lang.Object


Copyright © 2004 Evren Sirin. All Rights Reserved.