FrozenState
A special state that does not allow to record elements or dependent sets. In effect this means that no new elements or dependent sets can be added in this state (since the previous state cannot be recorded in a snapshot)
Attributes
- Graph
-
- Supertypes
- Self type
-
FrozenState.type
Members list
Value members
Concrete methods
Record dependent sets, return whether this was allowed. By default, recording is allowed but the special state FrozenState overrides this.
Record dependent sets, return whether this was allowed. By default, recording is allowed but the special state FrozenState overrides this.
Attributes
- Definition Classes
Record elements, return whether this was allowed. By default, recording is allowed but the special state FrozenState overrides this.
Record elements, return whether this was allowed. By default, recording is allowed but the special state FrozenState overrides this.
Attributes
- Definition Classes
Inherited methods
The recorded dependent sets of v (it's required that a recording was made)
The recorded dependent sets of v (it's required that a recording was made)
Attributes
- Inherited from:
- VarState
The recorded elements of v (it's required that a recording was made)
The recorded elements of v (it's required that a recording was made)
Attributes
- Inherited from:
- VarState
Optionally the recorded dependent sets of v, None if nothing was recorded for v
Optionally the recorded dependent sets of v, None if nothing was recorded for v
Attributes
- Inherited from:
- VarState