public class LSInconsistency
extends java.lang.Object
LSModel
,
LSExpression
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
LSExpression |
getCause(int causeIndex)
Gets the cause with the given index in this model.
|
int |
getNbCauses()
Gets the number of expressions responsible for the inconsistency of this model.
|
int |
hashCode() |
java.lang.String |
toString()
Returns a string representation of this inconsistency core.
|
public int getNbCauses()
public LSExpression getCause(int causeIndex)
LSState.Stopped
.causeIndex
- A non negative integer strictly smaller than getNbCauses().public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object