localsolver.LSInconsistency Class Reference

Detailed Description

Inconsistency core of the optimization model.

Also known as Irreductible Inconsistent Subproblem.

See Also

LSModel, LSExpression

Since version 6.0

Public Member Functions
int	GetNbCauses ()
	Gets the number of expressions responsible for the inconsistency of this model.
LSExpression	GetCause (int causeIndex)
	Gets the cause with the given index in this model.
override string	ToString ()
	Returns a string representation of this inconsistency core.

Member Function Documentation

int localsolver.LSInconsistency.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.

LSExpression localsolver.LSInconsistency.GetCause

(

int

causeIndex

)

Gets the cause with the given index in this model.

Only allowed in state LSState::Stopped.

Returns

The requested cause (LSExpression).

override string localsolver.LSInconsistency.ToString

(

)

Returns a string representation of this inconsistency core.

Returns

String representation.