ProcessState
|
|
Sigma KEE - ProcessState
ProcessState
|
The class of all the information required for a ComputerProgram to run on a processor. It is a vector that contains a pointer to the next program instruction to be executed as well as the values of all intermediate and defined variables, the state of the processor executing the program, and the allocated address space among other data.
|
Show full definition (without tree view)
Show full definition (with tree view)
|