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.