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

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

public class ClashDependency
extends java.lang.Object
implements Dependency

A clash dependency.

Author:
Christian Halaschek-Wiener

Constructor Summary
ClashDependency(aterm.ATermAppl assertion, Clash clash)
          Constructor
 
Method Summary
 boolean equals(java.lang.Object other)
          Equals method
 Clash getClash()
          Get the clash
 int hashCode()
          Hashcode method TODO: this may not be sufficient
 java.lang.String toString()
          ToString method
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ClashDependency

public ClashDependency(aterm.ATermAppl assertion,
                       Clash clash)
Constructor

Parameters:
assertion -
clash -
Method Detail

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

getClash

public Clash getClash()
Get the clash

Returns:


Copyright © 2004 Evren Sirin. All Rights Reserved.