AERA
r_exec::HLPOverlay Member List

This is the complete list of members for r_exec::HLPOverlay, including all inherited members.

_Object() (defined in core::_Object)core::_Objectprotected
bindings_ (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
build_object(r_code::Atom head) const (defined in r_exec::Overlay)r_exec::Overlay
code_ (defined in r_exec::Overlay)r_exec::Overlayprotected
code_size_ (defined in r_exec::Overlay)r_exec::Overlayprotected
commit() (defined in r_exec::Overlay)r_exec::Overlayprotected
controller_ (defined in r_exec::Overlay)r_exec::Overlayprotected
CSTController (defined in r_exec::HLPOverlay)r_exec::HLPOverlayfriend
decRef() (defined in core::_Object)core::_Objectvirtual
evaluate(uint16 index)r_exec::HLPOverlayprotected
evaluate_bwd_guards() (defined in r_exec::HLPOverlay)r_exec::HLPOverlay
evaluate_fwd_guards() (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
evaluate_fwd_timings() (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
evaluate_guards(uint16 guard_set_iptr_index) (defined in r_exec::HLPOverlay)r_exec::HLPOverlayinlineprotected
EvaluateBWDGuards(Controller *c, HLPBindingMap *bindings) (defined in r_exec::HLPOverlay)r_exec::HLPOverlaystatic
EvaluateFWDTimings(Controller *c, HLPBindingMap *bindings)r_exec::HLPOverlaystatic
get_bindings() const (defined in r_exec::HLPOverlay)r_exec::HLPOverlayinline
get_core_object() const (defined in r_exec::Overlay)r_exec::Overlayinlineprotected
get_last_patch_index() (defined in r_exec::Overlay)r_exec::Overlayprotected
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::HLPOverlayfriend
HLPOverlay(Controller *c, HLPBindingMap *bindings) (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
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::Overlayinline
invalidated_ (defined in r_exec::Overlay)r_exec::Overlayprotected
is_invalidated() (defined in r_exec::Overlay)r_exec::Overlayinlinevirtual
load_code() (defined in r_exec::Overlay)r_exec::Overlayprotected
Overlay() (defined in r_exec::Overlay)r_exec::Overlayprotected
Overlay(Controller *c, bool load_code=true) (defined in r_exec::Overlay)r_exec::Overlayprotected
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::Overlayprotected
patch_indices_ (defined in r_exec::Overlay)r_exec::Overlayprotected
reduce(r_exec::View *input) (defined in r_exec::Overlay)r_exec::Overlayvirtual
refCount_ (defined in core::_Object)core::_Objectprotected
reset() (defined in r_exec::Overlay)r_exec::Overlayvirtual
rollback() (defined in r_exec::Overlay)r_exec::Overlayprotected
scan_bwd_guards() const (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
scan_location(uint16 index, uint16 parent_guard_index) const (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
scan_variable(uint16 index, uint16 parent_guard_index) const (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
ScanBWDGuards(Controller *c, HLPBindingMap *bindings) (defined in r_exec::HLPOverlay)r_exec::HLPOverlaystatic
store_evidence(_Fact *evidence, bool prediction, bool is_simulation) (defined in r_exec::HLPOverlay)r_exec::HLPOverlayprotected
unpatch_code(uint16 patch_index) (defined in r_exec::Overlay)r_exec::Overlayprotected
value_commit_index_ (defined in r_exec::Overlay)r_exec::Overlayprotected
values() const (defined in r_exec::Overlay)r_exec::Overlayinline
values_ (defined in r_exec::Overlay)r_exec::Overlayprotected
~_Object() (defined in core::_Object)core::_Objectvirtual
~HLPOverlay() (defined in r_exec::HLPOverlay)r_exec::HLPOverlayvirtual
~Overlay() (defined in r_exec::Overlay)r_exec::Overlayvirtual