Warning Global Constraint
Type: Selection
Range: The settings listed below
Default: Common_warning_default
For each global constraint it is verified whether or not it is binding. Consider the following examples:
CONSTRAINT:
identifier : ad
definition : cp::AllDifferent(i,v(i))
When the set that is the scope of index i is empty, AIMMS will issue the following warning “The cp::AllDifferent constraint does not need to restrict the value of any variable which makes it nonbinding.”.
In the following constraint, the number of occurrences in a subsequence is always between 0 and the sequence length.
CONSTRAINT:
identifier : seq
definition : cp::Sequence(
inspectedBinding : k,
inspectedValues : v3(k),
lookupValues : lv,
sequenceLength : 3,
lowerBound : 0,
upperBound : 3,
cyclic : 0)
For the above constraint AIMMS will issue the warning: “cp::Sequence(): With a zero lowerbound and a sequence length 3 and upper bound 3 this constraint becomes nonbinding.”
The option “Warning_Global_Constraint
” determines how nonbinding global constraints are reported, depending on the following settings:
|
Do not issue a warning. |
|
Issue a warning and post it to the global error and warning collector. |
|
Take action depending on the option ‘Common warning default’. |
|
Issue a warning and post it to the nearest error handler. |
|
Take action depending on the option ‘Strict warning default’. |
|
Issue an error. |
|
In a developer system same as Error, in a deployment system same as Warning_handle |
|
In a developer system same as Error, in a deployment system same as Off |
|
In a developer system same as Warning_handle, in a deployment system same as Off |
Note
With the option Maximal Number of Warnings Reported you can set the maximal number of warnings that are shown in errors/warnings and message window.
Learn more about