When is it valid to use `DiscreteElement` / `DiscreteVector` / `DiscreteDomain` #341

tpadioleau started this conversation in Ideas

tpadioleau
Mar 15, 2024
Maintainer

Following review of #121

Users are confused by what part of the dimension they can use before it is initialized. We could say: in the initialization, no DiscreteElement or DiscreteVector, after initialization they can be used

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment