Fleet  0.0.9 Inference in the LOT
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 "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 >

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.

## ◆ LEXICON_MEMOIZATION_TYPES

 #define LEXICON_MEMOIZATION_TYPES   short,std::string,int