HxInconsistency Class¶

class HxInconsistency¶: Inconsistency core of the optimization model. Also known as Irreductible Inconsistent Subproblem.

Summary¶

Functions¶
`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 HxInconsistency::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.

HxExpression HxInconsistency::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 HxInconsistency::toString() const¶

Returns a string representation of this inconsistency core.

Returns:: String representation.