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
Proposal. Add space_variables, a container of size space_dimension with an id for each dimension (by default, it is Base.OneTo(space_dimension(set)) but it might also be symbolic variables.
The text was updated successfully, but these errors were encountered:
See again this comment.
Proposal. Add
space_variables
, a container of sizespace_dimension
with an id for each dimension (by default, it isBase.OneTo(space_dimension(set))
but it might also be symbolic variables.The text was updated successfully, but these errors were encountered: