AERA
|
Public Member Functions | |
GTPX (AutoFocusController *auto_focus, _Fact *target, _Fact *pattern, BindingMap *bindings, Fact *f_imdl) | |
bool | take_input (View *input, _Fact *abstracted_input, BindingMap *bm) override |
void | signal (View *input) const override |
void | ack_pred_success (Success *success) override |
void | reduce (View *input) |
![]() | |
void | debug (View *) |
![]() | |
TPX (AutoFocusController *auto_focus, _Fact *target, _Fact *pattern, BindingMap *bindings) | |
_Fact * | get_pattern () const |
BindingMap * | get_bindings () const |
![]() | |
void | incRef () |
virtual void | decRef () |
Additional Inherited Members | |
![]() | |
void | filter_icst_components (ICST *icst, uint32 icst_index, std::vector< Component > &components) |
void | _find_f_icst (_Fact *component, std::vector< FindFIcstResult > &results, bool find_multiple) |
void | find_f_icst (_Fact *component, std::vector< FindFIcstResult > &results, bool find_multiple=false) |
void | find_f_icst (_Fact *component, std::vector< FindFIcstResult > &results, P< r_code::Code > &new_cst, bool find_multiple=false) |
_Fact * | make_f_icst (_Fact *component, _Fact *&component_pattern, P< r_code::Code > &new_cst) |
r_code::Code * | build_cst (const std::vector< Component > &components, BindingMap *bm, _Fact *main_component) |
bool | build_requirement (HLPBindingMap *bm, r_code::Code *m0, std::chrono::microseconds period, const std::vector< FindFIcstResult > &results, r_code::Code *new_cst) |
void | build_mdl_tail (r_code::Code *mdl, uint16 write_index) |
void | inject_hlps () const |
void | inject_hlps (Timestamp analysis_starting_time) |
_TPX (AutoFocusController *auto_focus, _Fact *target, _Fact *pattern, BindingMap *bindings) | |
_TPX (AutoFocusController *auto_focus, _Fact *target) | |
![]() | |
bool | filter (View *input, _Fact *abstracted_input, BindingMap *bm) |
TPX (AutoFocusController *auto_focus, _Fact *target) | |
![]() | |
static _Fact * | find_f_icst_component (_Fact *fact, const _Fact *component, int max_depth=3) |
static r_code::Code * | build_mdl_head (HLPBindingMap *bm, uint16 tpl_arg_count, _Fact *lhs, _Fact *rhs, uint16 &write_index, bool allow_shared_timing_vars=true) |
static r_code::Code * | build_mdl_head_from_abstract (uint16 tpl_arg_count, r_code::Code *lhs, r_code::Code *rhs, uint16 &write_index) |
![]() | |
r_code::list< Input > | inputs_ |
std::vector< P< r_code::Code > > | mdls_ |
std::vector< P< r_code::Code > > | csts_ |
std::vector< P< _Fact > > | f_icsts_ |
![]() | |
AutoFocusController * | auto_focus_ |
P< _Fact > | target_ |
P< BindingMap > | target_bindings_ |
P< _Fact > | abstracted_target_ |
P< CSTController > | cst_hook_ |
std::vector< P< BindingMap > > | new_maps_ |
![]() | |
std::atomic_int32_t | refCount_ |
Definition at line 282 of file pattern_extractor.h.
|
overridevirtual |
This is called on a successful prediction.Store it.At reduce() time, check if the target was successfully predicted and if so, abort mdl building. \success The Success object with the target: (success (fact (pred target ::) ::) ::).
Reimplemented from r_exec::TPX.
Definition at line 580 of file pattern_extractor.cpp.