ClashDependency (Openllet :: Core 2.6.5 API)

java.lang.Object
- openllet.core.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

Constructors
Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object other)`	Equals method
`Clash`	`getClash()`
`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(openllet.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()
```
    Returns:
    
    the _clash