AERA
|
This is the complete list of members for r_exec::HLPOverlay, including all inherited members.
_Object() (defined in core::_Object) | core::_Object | protected |
bindings_ (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
build_object(r_code::Atom head) const (defined in r_exec::Overlay) | r_exec::Overlay | |
code_ (defined in r_exec::Overlay) | r_exec::Overlay | protected |
code_size_ (defined in r_exec::Overlay) | r_exec::Overlay | protected |
commit() (defined in r_exec::Overlay) | r_exec::Overlay | protected |
controller_ (defined in r_exec::Overlay) | r_exec::Overlay | protected |
CSTController (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | friend |
decRef() (defined in core::_Object) | core::_Object | virtual |
evaluate(uint16 index) | r_exec::HLPOverlay | protected |
evaluate_bwd_guards() (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | |
evaluate_fwd_guards() (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
evaluate_fwd_timings() (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
evaluate_guards(uint16 guard_set_iptr_index) (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | inlineprotected |
EvaluateBWDGuards(Controller *c, HLPBindingMap *bindings) (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | static |
EvaluateFWDTimings(Controller *c, HLPBindingMap *bindings) | r_exec::HLPOverlay | static |
get_bindings() const (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | inline |
get_core_object() const (defined in r_exec::Overlay) | r_exec::Overlay | inlineprotected |
get_last_patch_index() (defined in r_exec::Overlay) | r_exec::Overlay | protected |
get_object() const (defined in r_exec::Overlay) | r_exec::Overlay | |
get_unpacked_object() const (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | |
get_value_code(uint16 id) const (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | |
get_value_code_size(uint16 id) const (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | |
get_view() const (defined in r_exec::Overlay) | r_exec::Overlay | |
HLPContext (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | friend |
HLPOverlay(Controller *c, HLPBindingMap *bindings) (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
HLPOverlay(Controller *c, const HLPBindingMap *bindings, bool load_code) (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | |
incRef() (defined in core::_Object) | core::_Object | |
invalidate() (defined in r_exec::Overlay) | r_exec::Overlay | inline |
invalidated_ (defined in r_exec::Overlay) | r_exec::Overlay | protected |
is_invalidated() (defined in r_exec::Overlay) | r_exec::Overlay | inlinevirtual |
load_code() (defined in r_exec::Overlay) | r_exec::Overlay | protected |
Overlay() (defined in r_exec::Overlay) | r_exec::Overlay | protected |
Overlay(Controller *c, bool load_code=true) (defined in r_exec::Overlay) | r_exec::Overlay | protected |
Overlay(size_t values_size) (defined in r_exec::Overlay) | r_exec::Overlay | |
patch_code(uint16 index, r_code::Atom value) (defined in r_exec::Overlay) | r_exec::Overlay | protected |
patch_indices_ (defined in r_exec::Overlay) | r_exec::Overlay | protected |
reduce(r_exec::View *input) (defined in r_exec::Overlay) | r_exec::Overlay | virtual |
refCount_ (defined in core::_Object) | core::_Object | protected |
reset() (defined in r_exec::Overlay) | r_exec::Overlay | virtual |
rollback() (defined in r_exec::Overlay) | r_exec::Overlay | protected |
scan_bwd_guards() const (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
scan_location(uint16 index, uint16 parent_guard_index) const (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
scan_variable(uint16 index, uint16 parent_guard_index) const (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
ScanBWDGuards(Controller *c, HLPBindingMap *bindings) (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | static |
store_evidence(_Fact *evidence, bool prediction, bool is_simulation) (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | protected |
unpatch_code(uint16 patch_index) (defined in r_exec::Overlay) | r_exec::Overlay | protected |
value_commit_index_ (defined in r_exec::Overlay) | r_exec::Overlay | protected |
values() const (defined in r_exec::Overlay) | r_exec::Overlay | inline |
values_ (defined in r_exec::Overlay) | r_exec::Overlay | protected |
~_Object() (defined in core::_Object) | core::_Object | virtual |
~HLPOverlay() (defined in r_exec::HLPOverlay) | r_exec::HLPOverlay | virtual |
~Overlay() (defined in r_exec::Overlay) | r_exec::Overlay | virtual |