-
Notifications
You must be signed in to change notification settings - Fork 150
Milestone
Description
New name was proposed: @ShadowVariablesInconsistent.
Two things come to mind:
- Do we enable Boolean? I seem to remember we intentionally only allowed boolean. That'd need to change.
- The inconsistency now speaks of not only looped, but also whether or not the shadow variables were set by the solver, incl. the built-in shadows. This means that not only would we need to somehow hook built-ins into this, but the annotation would now also make sense even without DSV.
The latter suggests that really, somehow, the built-ins should become DSVs; plugged into the same graph. That would solve this problem, because there would never be anything else but DSVs.
Needs to be discussed and finalized.
Sub-issues
Metadata
Metadata
Assignees
Labels
No labels