2020-06-13 11:59:08 +00:00
|
|
|
% include "globals.mzn";
|
2020-06-10 22:15:17 +00:00
|
|
|
% Since the documentation is unclear, wrote this test to figure
|
|
|
|
% out whether enums wrap around or not.
|
2020-06-13 11:59:08 +00:00
|
|
|
% enum Letters;
|
|
|
|
|
2020-06-10 22:15:17 +00:00
|
|
|
enum Letters;
|
|
|
|
|
2020-06-13 11:59:08 +00:00
|
|
|
Letters = {A,B,C};
|
|
|
|
|
|
|
|
var Letters: a;
|
|
|
|
var Letters: b;
|
|
|
|
constraint a=A;
|
|
|
|
constraint b=B;
|
|
|
|
|
|
|
|
var set of Letters: d;
|
2020-06-10 22:15:17 +00:00
|
|
|
|
2020-06-13 11:59:08 +00:00
|
|
|
constraint d = set_diff(Letters,a..b);
|