localsolver
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.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Object