Module gf::ai::state

🟢 Common abstract state definitions.

Structs

SpaceStateMap	🟢 Map-like structure for maintaining abstract state of all address spaces.
State	🟢 Common implementation of an abstract state composed of a VarState and a SpaceStateMap.
VarState	🟢 Map-like structure for maintaining abstract state of variables.

Traits

ConstSpaceState	🟢 An abstract state of a constant (i.e. read-only) address space with A for addresses and V for values.
MultiConstSpaceState	🟢 An abstract state of multiple constant (i.e. read-only) address spaces with A for addresses and V for values.
MultiSpaceState	🟢 An abstract state of multiple address spaces with A for addresses and V for values.
SpaceState	🟢 An abstract state of an address space with A for addresses and V for values.