Package com.hexaly.optimizer
Class HxInconsistency
- java.lang.Object
-
- com.hexaly.optimizer.HxInconsistency
-
public class HxInconsistency extends java.lang.Object
Inconsistency core of the optimization model. Also known as Irreductible Inconsistent Subproblem.- Since:
- 6.0
- See Also:
HxModel
,HxExpression
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
HxExpression
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.
-
-
-
Method Detail
-
getNbCauses
public int getNbCauses()
Gets the number of expressions responsible for the inconsistency of this model. The sub problem reduced to these expressions and their operands (recursively) is inconsistent. This method returns 0 if the inconsistency of the problem could not be proven.- Returns:
- Number of expressions.
-
getCause
public HxExpression getCause(int causeIndex)
Gets the cause with the given index in this model. Only allowed in stateHxState.Stopped
.- Parameters:
causeIndex
- A non negative integer strictly smaller than getNbCauses().- Returns:
- The requested cause (HxExpression).
-
toString
public java.lang.String toString()
Returns a string representation of this inconsistency core.- Overrides:
toString
in classjava.lang.Object
- Returns:
- String representation.
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
-