Public Member Functions | Protected Member Functions | List of all members
r_exec::MDLOverlay Class Referenceabstract

#include <mdl_controller.h>

Inheritance diagram for r_exec::MDLOverlay:
Inheritance graph
Collaboration diagram for r_exec::MDLOverlay:
Collaboration graph

Public Member Functions

 ~MDLOverlay ()
void load_patterns ()
virtual Overlayreduce (_Fact *input, Fact *f_p_f_imdl, MDLController *req_controller)=0
- Public Member Functions inherited from r_exec::HLPOverlay
 HLPOverlay (Controller *c, const HLPBindingMap *bindings, bool load_code)
virtual ~HLPOverlay ()
HLPBindingMapget_bindings () const
Atomget_value_code (uint16_t id) const
uint16_t get_value_code_size (uint16_t id) const
Codeget_unpacked_object () const
bool evaluate_bwd_guards ()
- Public Member Functions inherited from r_exec::Overlay
virtual ~Overlay ()
virtual void reset ()
virtual Overlayreduce (r_exec::View *input)
void invalidate ()
virtual bool is_invalidated ()
r_code::CodegetObject () const
r_exec::ViewgetView () const
r_code::Codebuild_object (Atom head) const
- Public Member Functions inherited from core::_Object
virtual ~_Object ()
void incRef ()
virtual void decRef ()

Protected Member Functions

 MDLOverlay (Controller *c, const HLPBindingMap *bindngs)
- Protected Member Functions inherited from r_exec::HLPOverlay
bool evaluate_guards (uint16_t guard_set_iptr_index)
bool evaluate_fwd_guards ()
bool evaluate (uint16_t index)
bool check_fwd_timings ()
bool scan_bwd_guards ()
bool scan_location (uint16_t index)
bool scan_variable (uint16_t index)
void store_evidence (_Fact *evidence, bool prediction, bool simulation)
 HLPOverlay (Controller *c, HLPBindingMap *bindings)
- Protected Member Functions inherited from r_exec::Overlay
void load_code ()
void patch_code (uint16_t index, Atom value)
uint16_t get_last_patch_index ()
void unpatch_code (uint16_t patch_index)
void rollback ()
void commit ()
Codeget_core_object () const
 Overlay ()
 Overlay (Controller *c, bool load_code=true)
- Protected Member Functions inherited from core::_Object
 _Object ()

Additional Inherited Members

- Static Public Member Functions inherited from r_exec::HLPOverlay
static bool EvaluateBWDGuards (Controller *c, HLPBindingMap *bindings)
static bool CheckFWDTimings (Controller *c, HLPBindingMap *bindings)
static bool ScanBWDGuards (Controller *c, HLPBindingMap *bindings)
- Protected Attributes inherited from r_exec::HLPOverlay
P< HLPBindingMapbindings
r_code::list< P< _Fact > > patterns
- Protected Attributes inherited from r_exec::Overlay
volatile uint64_t invalidated
r_code::vector< Atomvalues
uint16_t code_size
std::vector< uint16_t > patch_indices
uint16_t value_commit_index
- Protected Attributes inherited from core::_Object
std::atomic_int_fast64_t refCount

Constructor & Destructor Documentation

r_exec::MDLOverlay::MDLOverlay ( Controller c,
const HLPBindingMap bindngs 

Here is the call graph for this function:

r_exec::MDLOverlay::~MDLOverlay ( )

Member Function Documentation

void r_exec::MDLOverlay::load_patterns ( )

Here is the caller graph for this function:

virtual Overlay* r_exec::MDLOverlay::reduce ( _Fact input,
Fact f_p_f_imdl,
MDLController req_controller 
pure virtual

The documentation for this class was generated from the following files: