You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I've done a quick look to see if there's a MiniZinc function that can get the dimension of a Record/Tuple but haven't been able to find anything in the standard library. I'm guessing there is no such function.
It would be really neat to have one!
Something like this
type r = par record( int: x, int: y);
int : r_size = length(r); % 2
The text was updated successfully, but these errors were encountered:
I'm afraid that the type of the argument of the length function requested is currently not expressible in the MiniZinc language. It might be something we could think about in the future. (We are thinking about what (type of) generic operations on records and tuples might need to be added).
Could you tell us what you would like to use this information for?
I've done a quick look to see if there's a MiniZinc function that can get the dimension of a Record/Tuple but haven't been able to find anything in the standard library. I'm guessing there is no such function.
It would be really neat to have one!
Something like this
The text was updated successfully, but these errors were encountered: