This method identifies a minimal conflict for the infeasibility of the current model. Since the conflict is minimal, removal of any one of these constraints will remove that particular cause for infeasibility. There may be other conflicts in the model; consequently, repair of a given conflict does not guarantee feasibility of the remaining model.

Namespace: ILOG.CP
Assembly: oplall (in oplall.dll)

Syntax

C#
public virtual bool RefineConflict()

Remarks

If the conflict refiner also works on variable domains (parameter CP.IntParam.ConflictRefinerOnVariables set to CP.ParameterValues.On), it will first identify a minimal conflicting set of constraints. Then, it will refine this conflict further by identifying a minimal subset of variables whose initial domain is responsible for the infeasibility from amongst the decision variables involved in the constraints of the conflict.

This method returns a Boolean value reporting whether or not a conflict has been found.

When this method returns True, the conflict can be queried with the GetConflict methods. The method WriteConflict can write the elements of the current conflict.

For more information on the conflict refiner, see the concept Conflict Refiner in the C++ Reference Manual.

See Also