replicode
Public Member Functions | Private Member Functions | Private Attributes | List of all members
r_exec::GTPX Class Reference

#include <pattern_extractor.h>

Inheritance diagram for r_exec::GTPX:
Inheritance graph
Collaboration diagram for r_exec::GTPX:
Collaboration graph

Public Member Functions

 GTPX (AutoFocusController *auto_focus, _Fact *target, _Fact *pattern, BindingMap *bindings, Fact *f_imdl)
 
 ~GTPX ()
 
bool take_input (View *input, _Fact *abstracted_input, BindingMap *bm)
 
void signal (View *input) const
 
void ack_pred_success (_Fact *predicted_f)
 
void reduce (View *input)
 
- Public Member Functions inherited from r_exec::_TPX
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
 
- Public Member Functions inherited from core::_Object
virtual ~_Object ()
 
void incRef ()
 
virtual void decRef ()
 

Private Member Functions

bool build_mdl (_Fact *cause, _Fact *consequent, GuardBuilder *guard_builder, uint64_t period)
 
bool build_mdl (_Fact *f_icst, _Fact *cause_pattern, _Fact *consequent, GuardBuilder *guard_builder, uint64_t period, Code *new_cst)
 
std::string get_header () const
 

Private Attributes

P< Factf_imdl
 
std::vector< P< _Fact > > predictions
 

Additional Inherited Members

- Protected Member Functions inherited from r_exec::_TPX
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)
 
 _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 inherited from r_exec::_TPX
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
 

Constructor & Destructor Documentation

r_exec::GTPX::GTPX ( AutoFocusController auto_focus,
_Fact target,
_Fact pattern,
BindingMap bindings,
Fact f_imdl 
)
r_exec::GTPX::~GTPX ( )

Member Function Documentation

void r_exec::GTPX::ack_pred_success ( _Fact predicted_f)
virtual

Reimplemented from r_exec::TPX.

bool r_exec::GTPX::build_mdl ( _Fact cause,
_Fact consequent,
GuardBuilder guard_builder,
uint64_t  period 
)
private

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::GTPX::build_mdl ( _Fact f_icst,
_Fact cause_pattern,
_Fact consequent,
GuardBuilder guard_builder,
uint64_t  period,
Code new_cst 
)
private

Here is the call graph for this function:

std::string r_exec::GTPX::get_header ( ) const
privatevirtual

Implements r_exec::_TPX.

void r_exec::GTPX::reduce ( r_exec::View input)

Here is the call graph for this function:

void r_exec::GTPX::signal ( View input) const
virtual

Reimplemented from r_exec::TPX.

Here is the call graph for this function:

bool r_exec::GTPX::take_input ( View input,
_Fact abstracted_input,
BindingMap bm 
)
virtual

Reimplemented from r_exec::TPX.

Here is the call graph for this function:

Member Data Documentation

P<Fact> r_exec::GTPX::f_imdl
private
std::vector<P<_Fact> > r_exec::GTPX::predictions
private

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