P< HLPBindingMap > bindings
Definition: hlp_overlay.h:47
HLPOverlay(Controller *c, HLPBindingMap *bindings)
Definition: hlp_overlay.cpp:57
Atom * get_value_code(uint16_t id) const
Definition: hlp_overlay.cpp:68
Code * get_unpacked_object() const
Definition: hlp_overlay.cpp:209
HLPBindingMap * get_bindings() const
Definition: hlp_overlay.h:72
static bool EvaluateBWDGuards(Controller *c, HLPBindingMap *bindings)
Definition: hlp_overlay.cpp:39
void load_code()
Definition: overlay.cpp:63
Definition: hlp_overlay.h:43
bool evaluate_guards(uint16_t guard_set_iptr_index)
Definition: hlp_overlay.cpp:78
static bool ScanBWDGuards(Controller *c, HLPBindingMap *bindings)
Definition: hlp_overlay.cpp:51
Definition: overlay.h:116
Definition: _context.cpp:34
r_code::list< P< _Fact > > patterns
Definition: hlp_overlay.h:49
bool scan_bwd_guards()
Definition: hlp_overlay.cpp:141
uint16_t get_value_code_size(uint16_t id) const
Definition: hlp_overlay.cpp:73
Definition: binding_map.h:252
bool evaluate_bwd_guards()
Definition: hlp_overlay.cpp:95
bool scan_variable(uint16_t index)
Definition: hlp_overlay.cpp:190
Definition: hlp_context.h:42
virtual ~HLPOverlay()
Definition: hlp_overlay.cpp:65
bool check_fwd_timings()
Definition: hlp_overlay.cpp:107
void store_evidence(_Fact *evidence, bool prediction, bool simulation)
Definition: hlp_overlay.cpp:214
bool evaluate(uint16_t index)
Definition: hlp_overlay.cpp:100
bool scan_location(uint16_t index)
Definition: hlp_overlay.cpp:163
bool evaluate_fwd_guards()
Definition: hlp_overlay.cpp:90
static bool CheckFWDTimings(Controller *c, HLPBindingMap *bindings)
Definition: hlp_overlay.cpp:45