VirtualMachineState.h File Reference

This represents the state of a partial evaluation of a program, corresponding to the value of all of the stacks of various types (which are stored as templates from VM_TYPES). The idea here is that we want to be able to encapsulate everything about the evaluation of a tree so that we can stop it in the middle and resume later, as is required for stochastics. This must be templated because it depends on the types in the grammar. These will typically be stored in a VirtualMachinePool and not called directly, unless you know that there are no stochastics. More...

#include <type_traits>
#include <map>
#include <utility>
#include <tuple>
#include <typeindex>
#include "Errors.h"
#include "Program.h"
#include "Stack.h"
#include "Statistics/FleetStatistics.h"
#include "RuntimeCounter.h"
#include "VirtualMachineControl.h"
#include "VMSRuntimeError.h"

Include dependency graph for VirtualMachineState.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	VirtualMachinePool< VirtualMachineState_t >
class	VirtualMachineState< _t_input, _t_output, VM_TYPES >

Namespaces
	FleetStatistics

Macros
#define	LEXICON_MEMOIZATION_TYPES   short,std::string,int

Detailed Description

This represents the state of a partial evaluation of a program, corresponding to the value of all of the stacks of various types (which are stored as templates from VM_TYPES). The idea here is that we want to be able to encapsulate everything about the evaluation of a tree so that we can stop it in the middle and resume later, as is required for stochastics. This must be templated because it depends on the types in the grammar. These will typically be stored in a VirtualMachinePool and not called directly, unless you know that there are no stochastics.

Macro Definition Documentation

LEXICON_MEMOIZATION_TYPES

#define LEXICON_MEMOIZATION_TYPES   short,std::string,int