replicode
Classes | Public Member Functions | Protected Member Functions | Protected Attributes | Static Private Attributes | List of all members
r_exec::_TPX Class Referenceabstract

#include <pattern_extractor.h>

Inheritance diagram for r_exec::_TPX:
Inheritance graph
Collaboration diagram for r_exec::_TPX:
Collaboration graph

Classes

class  Component
 

Public Member Functions

virtual ~_TPX ()
 
void debug (View *input)
 
- Public Member Functions inherited from r_exec::TPX
 TPX (AutoFocusController *auto_focus, _Fact *target, _Fact *pattern, BindingMap *bindings)
 
virtual ~TPX ()
 
_Factget_pattern () const
 
BindingMapget_bindings () const
 
virtual bool take_input (View *view, _Fact *abstracted_input, BindingMap *bm)
 
virtual void signal (View *input) const
 
virtual void ack_pred_success (_Fact *predicted_f)
 
- Public Member Functions inherited from core::_Object
virtual ~_Object ()
 
void incRef ()
 
virtual void decRef ()
 

Protected Member Functions

void filter_icst_components (ICST *icst, uint64_t icst_index, std::vector< Component > &components)
 
_Fact_find_f_icst (_Fact *component, uint16_t &component_index)
 
_Factfind_f_icst (_Fact *component, uint16_t &component_index)
 
_Factfind_f_icst (_Fact *component, uint16_t &component_index, Code *&cst)
 
Codebuild_cst (const std::vector< Component > &components, BindingMap *bm, _Fact *main_component)
 
Codebuild_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)
 
virtual std::string get_header () const =0
 
 _TPX (AutoFocusController *auto_focus, _Fact *target, _Fact *pattern, BindingMap *bindings)
 
 _TPX (AutoFocusController *auto_focus, _Fact *target)
 
- Protected Member Functions inherited from r_exec::TPX
bool filter (View *input, _Fact *abstracted_input, BindingMap *bm)
 
 TPX (AutoFocusController *auto_focus, _Fact *target)
 
- Protected Member Functions inherited from core::_Object
 _Object ()
 

Protected Attributes

r_code::list< Inputinputs
 
std::vector< P< Code > > mdls
 
std::vector< P< Code > > csts
 
std::vector< P< _Fact > > icsts
 
- Protected Attributes inherited from r_exec::TPX
AutoFocusControllerauto_focus
 
P< _Facttarget
 
P< BindingMaptarget_bindings
 
P< _Factabstracted_target
 
P< CSTControllercst_hook
 
std::vector< P< BindingMap > > new_maps
 
- Protected Attributes inherited from core::_Object
std::atomic_int_fast64_t refCount
 

Static Private Attributes

static const uint64_t InputsInitialSize = 16
 

Constructor & Destructor Documentation

r_exec::_TPX::_TPX ( AutoFocusController auto_focus,
_Fact target,
_Fact pattern,
BindingMap bindings 
)
protected
r_exec::_TPX::_TPX ( AutoFocusController auto_focus,
_Fact target 
)
protected
r_exec::_TPX::~_TPX ( )
virtual

Member Function Documentation

_Fact * r_exec::_TPX::_find_f_icst ( _Fact component,
uint16_t &  component_index 
)
protected

Here is the call graph for this function:

Here is the caller graph for this function:

Code * r_exec::_TPX::build_cst ( const std::vector< Component > &  components,
BindingMap bm,
_Fact main_component 
)
protected

Here is the call graph for this function:

Here is the caller graph for this function:

Code * r_exec::_TPX::build_mdl_head ( HLPBindingMap bm,
uint16_t  tpl_arg_count,
_Fact lhs,
_Fact rhs,
uint16_t &  write_index 
)
protected

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::_TPX::build_mdl_tail ( Code mdl,
uint16_t  write_index 
)
protected

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::_TPX::debug ( View input)
inline
void r_exec::_TPX::filter_icst_components ( ICST icst,
uint64_t  icst_index,
std::vector< Component > &  components 
)
protected

Here is the caller graph for this function:

_Fact * r_exec::_TPX::find_f_icst ( _Fact component,
uint16_t &  component_index 
)
protected

Here is the call graph for this function:

Here is the caller graph for this function:

_Fact * r_exec::_TPX::find_f_icst ( _Fact component,
uint16_t &  component_index,
Code *&  cst 
)
protected

Here is the call graph for this function:

virtual std::string r_exec::_TPX::get_header ( ) const
protectedpure virtual

Implemented in r_exec::CTPX, r_exec::PTPX, and r_exec::GTPX.

Here is the caller graph for this function:

void r_exec::_TPX::inject_hlps ( ) const
protected

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::_TPX::inject_hlps ( uint64_t  analysis_starting_time)
protected

Here is the call graph for this function:

Member Data Documentation

std::vector<P<Code> > r_exec::_TPX::csts
protected
std::vector<P<_Fact> > r_exec::_TPX::icsts
protected
r_code::list<Input> r_exec::_TPX::inputs
protected
const uint64_t r_exec::_TPX::InputsInitialSize = 16
staticprivate
std::vector<P<Code> > r_exec::_TPX::mdls
protected

The documentation for this class was generated from the following files: