LSInconsistency Class

class localsolver.LSInconsistency

Inconsistency core of the optimization model. Also known as Irreductible Inconsistent Subproblem.

Since:6.0
See:LSModel
See:LSExpression

Summary

Methods
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.

Instance methods

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.

Only allowed in state Stopped.

Returns:Number of expressions.
Return type:int
LSExpression GetCause(int causeIndex)

Gets the cause with the given index in this model. Only allowed in state Stopped.

Returns:The requested cause.
Return type:LSExpression
string ToString()

Returns a string representation of this inconsistency core.

Returns:String representation.
Return type:LSExpression