|
AERA
|
Public Member Functions | |
| SecondaryMDLOverlay (Controller *c, const HLPBindingMap *bindngs) | |
| bool | reduce (_Fact *input, Fact *f_p_f_imdl, MDLController *req_controller) override |
Public Member Functions inherited from r_exec::HLPOverlay | |
| HLPOverlay (Controller *c, const HLPBindingMap *bindings, bool load_code) | |
| HLPBindingMap * | get_bindings () const |
| Atom * | get_value_code (uint16 id) const |
| uint16 | get_value_code_size (uint16 id) const |
| r_code::Code * | get_unpacked_object () const |
| bool | evaluate_bwd_guards () |
Public Member Functions inherited from r_exec::Overlay | |
| Overlay (size_t values_size) | |
| virtual void | reset () |
| virtual Overlay * | reduce (r_exec::View *input) |
| void | invalidate () |
| virtual bool | is_invalidated () |
| r_code::Code * | get_object () const |
| r_exec::View * | get_view () const |
| r_code::Code * | build_object (r_code::Atom head) const |
| const r_code::Atom * | values () const |
Public Member Functions inherited from core::_Object | |
| void | incRef () |
| virtual void | decRef () |
Additional Inherited Members | |
Static Public Member Functions inherited from r_exec::HLPOverlay | |
| static bool | EvaluateBWDGuards (Controller *c, HLPBindingMap *bindings) |
| static bool | EvaluateFWDTimings (Controller *c, HLPBindingMap *bindings) |
| static bool | ScanBWDGuards (Controller *c, HLPBindingMap *bindings) |
Protected Member Functions inherited from r_exec::MDLOverlay | |
| MDLOverlay (Controller *c, const HLPBindingMap *bindngs) | |
Protected Member Functions inherited from r_exec::HLPOverlay | |
| 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) | |
Protected Member Functions inherited from r_exec::Overlay | |
| 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) | |
Protected Attributes inherited from r_exec::HLPOverlay | |
| P< HLPBindingMap > | bindings_ |
Protected Attributes inherited from r_exec::Overlay | |
| 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_ |
Protected Attributes inherited from core::_Object | |
| std::atomic_int32_t | refCount_ |
Definition at line 143 of file mdl_controller.h.
1.8.18