Fleet  0.0.9
Inference in the LOT
Classes | Namespaces | Macros
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 >
 

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