Uses of Package
modhelxs.state_management

Packages that use modhelxs.state_management
demos.atomicblocks   
demos.semantic_adaptation   
modhelxs.abstractsemantics   
modhelxs.state_management   
 

Classes in modhelxs.state_management used by demos.atomicblocks
Attribute
          An Attribute is a storage with commit and revert operations.
ListAttribute
           
ManagedBlock
          A Block with default management for state changes.
NotManagedAttribute
          An annotation to specify that an attribute of a managed block is not managed.
Parameter
          A Parameter is a read-only storage.
PlainManagedBlock
          A ManagedBlock with no timed behavior.
TimedManagedBlock
          A ManagedBlock with timed behavior.
TransientMap
          A TransientMap is a MapAttribute that never changes its permanent value.
TransientValue
          A TransientValue is an Attribute that never changes its permanent value.
 

Classes in modhelxs.state_management used by demos.semantic_adaptation
Attribute
          An Attribute is a storage with commit and revert operations.
ManagedInterfaceBlock
          An InterfaceBlock with default management for state changes.
MapAttribute
          A state value which stores data in a Map.
Parameter
          A Parameter is a read-only storage.
SnapshotAttribute
          An annotation to specify that a state value is to be reverted at start of snapshot instead of reset time.
TimedManagedInterfaceBlock
          An implementation of the ManagedInterfaceBlock for timed IB.
TransientMap
          A TransientMap is a MapAttribute that never changes its permanent value.
TransientValue
          A TransientValue is an Attribute that never changes its permanent value.
 

Classes in modhelxs.state_management used by modhelxs.abstractsemantics
Value
          A place for storing a value of type T.
 

Classes in modhelxs.state_management used by modhelxs.state_management
Attribute
          An Attribute is a storage with commit and revert operations.
ManagedBlock
          A Block with default management for state changes.
ManagedInterfaceBlock
          An InterfaceBlock with default management for state changes.
MapAttribute
          A state value which stores data in a Map.
State
          A State manages the state of a NamedEntity, which is composed of its field of type StateValue.
StateValue
           
TransientValue
          A TransientValue is an Attribute that never changes its permanent value.
Value
          A place for storing a value of type T.