Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Array of set of enum whose first element is empty #180

Closed
rtaupe opened this issue Sep 29, 2017 · 0 comments
Closed

Array of set of enum whose first element is empty #180

rtaupe opened this issue Sep 29, 2017 · 0 comments
Labels

Comments

@rtaupe
Copy link

rtaupe commented Sep 29, 2017

It´s great that MiniZinc supports enums, and they work really fine in most of the cases, for example as follows:

enum E = { A, B, C };
array[1..3] of set of E: e;
e = [ {A}, {A,B}, {} ];
solve satisfy;

However, if I specify the first element of an array of sets of enum to be empty, I get an unexpected error:

enum E = { A, B, C };
array[1..3] of set of E: e;
e = [ {}, {A,B}, {} ];
solve satisfy;

MiniZinc: type error: initialisation value for 'e' has invalid type-inst: expected 'array[int] of set of E', actual 'array[int] of set of int'

@Dekker1 Dekker1 added the bug label Oct 6, 2017
guidotack added a commit that referenced this issue Oct 6, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants