Representation of the address of a value in a state. This structure stores the indexing information needed to access elements of a state (no pointer values are stored) More...
#include <StateSpace.h>
Public Attributes | |
SubstateLocation | stateLocation |
Location of the substate that contains the pointed to value. | |
std::size_t | index |
The index of the value to be accessed, within the substate location above. |
Representation of the address of a value in a state. This structure stores the indexing information needed to access elements of a state (no pointer values are stored)
Definition at line 120 of file StateSpace.h.