org.mindswap.pellet.tableau.completion.incremental

Class BranchAddDependency

java.lang.Object

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

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

Field Summary

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

assertion

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other) Equals method
Branch	getBranch() Get branch
int	hashCode() Hashcode method
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

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 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

Overrides:

hashCode in class Object