Skip to main content
OverviewGroupTreeGraphDeprecatedIndexConcepts
FRAMES NO FRAMES

Enumeration ConflictStatus

Definition file: ilcp/cp.h
Status of an element (constraint or variable) in the conflict refiner.

This enumeration lists the values that report the status of a constraint or a variable with respect to a conflict.

Fields

ConflictPossibleMember = 0

The element (constraint or variable) has not been proven not to participate in the conflict; in other words, it might participate, though it might not. This status may be produced in several cases: when the conflict refiner was interrupted by a limit, when the constraint was forced by the user to participate in the conflict (preference equal to zero) or when getting the conflict status of a variable if variables were not refined.

ConflictMember = 1

The element (constraint or variable) has been proven to participate in the conflict.

ConflictExcluded = 2

The element (constraint or variable) has been proven not to participate in the conflict.