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

#include <pattern_extractor.h>

Inheritance diagram for r_exec::CTPX:
Inheritance graph
Collaboration diagram for r_exec::CTPX:
Collaboration graph

Public Member Functions

 CTPX (AutoFocusController *auto_focus, View *premise)
 
 ~CTPX ()
 
void store_input (r_exec::View *input)
 
void reduce (r_exec::View *input)
 
void signal (r_exec::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
 
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 ()
 

Private Member Functions

GuardBuilderget_default_guard_builder (_Fact *cause, _Fact *consequent, uint64_t period)
 
GuardBuilderfind_guard_builder (_Fact *cause, _Fact *consequent, uint64_t period)
 
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)
 
bool build_requirement (HLPBindingMap *bm, Code *m0, uint64_t period)
 
std::string get_header () const
 

Private Attributes

bool stored_premise
 
P< Viewpremise
 

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::CTPX::CTPX ( AutoFocusController auto_focus,
View premise 
)
r_exec::CTPX::~CTPX ( )

Member Function Documentation

bool r_exec::CTPX::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::CTPX::build_mdl ( _Fact f_icst,
_Fact cause_pattern,
_Fact consequent,
GuardBuilder guard_builder,
uint64_t  period 
)
private

Here is the call graph for this function:

bool r_exec::CTPX::build_requirement ( HLPBindingMap bm,
Code m0,
uint64_t  period 
)
private

Here is the call graph for this function:

Here is the caller graph for this function:

GuardBuilder * r_exec::CTPX::find_guard_builder ( _Fact cause,
_Fact consequent,
uint64_t  period 
)
private

Here is the call graph for this function:

Here is the caller graph for this function:

GuardBuilder * r_exec::CTPX::get_default_guard_builder ( _Fact cause,
_Fact consequent,
uint64_t  period 
)
private

Here is the call graph for this function:

Here is the caller graph for this function:

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

Implements r_exec::_TPX.

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

Here is the call graph for this function:

void r_exec::CTPX::signal ( r_exec::View input)

Here is the call graph for this function:

void r_exec::CTPX::store_input ( r_exec::View input)

Member Data Documentation

P<View> r_exec::CTPX::premise
private
bool r_exec::CTPX::stored_premise
private

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