|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Value | |
|---|---|
| modhelxs.abstractsemantics | |
| modhelxs.state_management | |
| Uses of Value in modhelxs.abstractsemantics |
|---|
| Methods in modhelxs.abstractsemantics with parameters of type Value | ||
|---|---|---|
|
Pin.putValue(Value<T> value)
Add a token with a given value on this pin. |
|
| Uses of Value in modhelxs.state_management |
|---|
| Subclasses of Value in modhelxs.state_management | |
|---|---|
class |
Attribute<T>
An Attribute is a storage with commit and revert operations. |
class |
Parameter<T>
A Parameter is a read-only storage. |
class |
TransientValue<T>
A TransientValue is an Attribute that never changes its permanent value. |
| Methods in modhelxs.state_management with parameters of type Value | |
|---|---|
I |
TimedManagedInterfaceBlock.advanceNextInternalObservationTime(Value<I> duration)
Add a duration to the next observation date of the block. |
T |
TimedManagedInterfaceBlock.advanceNextObservationTime(Value<T> duration)
Add a duration to the next observation date of the block. |
protected void |
Value.setValue(Value<T> value)
Set the value stored in this storage. |
void |
Attribute.setValue(Value<T> val)
Set the transient value of the attribute. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||