#include <pattern_extractor.h>
|
void | filter_icst_components (ICST *icst, uint64_t icst_index, std::vector< Component > &components) |
|
_Fact * | _find_f_icst (_Fact *component, uint16_t &component_index) |
|
_Fact * | find_f_icst (_Fact *component, uint16_t &component_index) |
|
_Fact * | find_f_icst (_Fact *component, uint16_t &component_index, Code *&cst) |
|
Code * | build_cst (const std::vector< Component > &components, BindingMap *bm, _Fact *main_component) |
|
Code * | build_mdl_head (HLPBindingMap *bm, uint16_t tpl_arg_count, _Fact *lhs, _Fact *rhs, uint16_t &write_index) |
|
void | build_mdl_tail (Code *mdl, uint16_t write_index) |
|
void | inject_hlps () const |
|
void | inject_hlps (uint64_t 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) |
|
| _Object () |
|
r_code::list< Input > | inputs |
|
std::vector< P< Code > > | mdls |
|
std::vector< P< Code > > | csts |
|
std::vector< P< _Fact > > | 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_int_fast64_t | refCount |
|
std::string r_exec::PTPX::get_header |
( |
| ) |
const |
|
privatevirtual |
void r_exec::PTPX::signal |
( |
View * |
input | ) |
const |
|
virtual |
P<Fact> r_exec::PTPX::f_imdl |
|
private |
The documentation for this class was generated from the following files: