org.mindswap.pellet.tableau.completion.incremental

Class ClashDependency

java.lang.Object

org.mindswap.pellet.tableau.completion.incremental.ClashDependency

All Implemented Interfaces:

Dependency

public class ClashDependency
extends Object
implements Dependency

A clash dependency.

Author:

Christian Halaschek-Wiener

Constructor Summary

Constructors

Constructor and Description
ClashDependency(aterm.ATermAppl assertion, Clash clash) Constructor

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object other) Equals method
protected aterm.ATermAppl	getAssertion() Get the assertion
Clash	getClash() Get the clash
int	hashCode() Hashcode method TODO: this may not be sufficient
String	toString() ToString method

Methods inherited from class java.lang.Object

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

Constructor Detail

ClashDependency

public ClashDependency(aterm.ATermAppl assertion,
               Clash clash)

Constructor

Parameters:

assertion -

clash -

Method Detail

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

getAssertion

protected aterm.ATermAppl getAssertion()

Get the assertion

Returns:

getClash

public Clash getClash()

Get the clash

Returns: