LSInconsistency Class¶
-
class
LSInconsistency
¶ Inconsistency core of the optimization model. Also known as Irreductible Inconsistent Subproblem.
Summary¶
getNbCauses |
Gets the number of expressions responsible for the inconsistency of this model. |
getCause |
Gets the cause with the given index in this model. |
toString |
Returns a string representation of this inconsistency core. |
Functions¶
-
int
LSInconsistency
::
getNbCauses
() const¶ 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.
-
LSExpression
LSInconsistency
::
getCause
(int causeIndex) const¶ Gets the cause with the given index in this model.
Parameters: causeIndex – A non negative integer strictly smaller than getNbCauses(). Returns: The requested cause (Expression).
-
std::string
LSInconsistency
::
toString
() const¶ Returns a string representation of this inconsistency core.
Returns: String representation.