|
static bool | EvaluateBWDGuards (Controller *c, HLPBindingMap *bindings) |
|
static bool | EvaluateFWDTimings (Controller *c, HLPBindingMap *bindings) |
|
static bool | ScanBWDGuards (Controller *c, HLPBindingMap *bindings) |
|
| MDLOverlay (Controller *c, const HLPBindingMap *bindngs) |
|
bool | evaluate_guards (uint16 guard_set_iptr_index) |
|
bool | evaluate_fwd_guards () |
|
bool | evaluate (uint16 index) |
|
bool | evaluate_fwd_timings () |
|
bool | scan_bwd_guards () const |
|
bool | scan_location (uint16 index, uint16 parent_guard_index) const |
|
bool | scan_variable (uint16 index, uint16 parent_guard_index) const |
|
void | store_evidence (_Fact *evidence, bool prediction, bool is_simulation) |
|
| HLPOverlay (Controller *c, HLPBindingMap *bindings) |
|
void | load_code () |
|
void | patch_code (uint16 index, r_code::Atom value) |
|
uint16 | get_last_patch_index () |
|
void | unpatch_code (uint16 patch_index) |
|
void | rollback () |
|
void | commit () |
|
r_code::Code * | get_core_object () const |
|
| Overlay (Controller *c, bool load_code=true) |
|
P< HLPBindingMap > | bindings_ |
|
volatile uint32 | invalidated_ |
|
Controller * | controller_ |
|
r_code::resized_vector< r_code::Atom > | values_ |
|
r_code::Atom * | code_ |
|
uint16 | code_size_ |
|
std::vector< uint16 > | patch_indices_ |
|
uint16 | value_commit_index_ |
|
std::atomic_int32_t | refCount_ |
|
Definition at line 143 of file mdl_controller.h.
The documentation for this class was generated from the following files: