#include <pattern_extractor.h>

Inheritance diagram for r_exec::PTPX:

Collaboration diagram for r_exec::PTPX:

Public Member Functions
	PTPX (AutoFocusController auto_focus, _Fact target, _Fact pattern, BindingMap bindings, Fact *f_imdl)

	~PTPX ()

void	signal (View *input) const

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 ()

_Fact *	get_pattern () const

BindingMap *	get_bindings () const

virtual bool	take_input (View view, _Fact abstracted_input, BindingMap *bm)

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
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< Fact >	f_imdl

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)

_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)

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< Input >	inputs

std::vector< P< Code > >	mdls

std::vector< P< Code > >	csts

std::vector< P< _Fact > >	icsts

Protected Attributes inherited from r_exec::TPX
AutoFocusController *	auto_focus

P< _Fact >	target

P< BindingMap >	target_bindings

P< _Fact >	abstracted_target

P< CSTController >	cst_hook

std::vector< P< BindingMap > >	new_maps

Protected Attributes inherited from core::_Object
std::atomic_int_fast64_t	refCount

Constructor & Destructor Documentation

r_exec::PTPX::PTPX	(	AutoFocusController *	auto_focus,
		_Fact *	target,
		_Fact *	pattern,
		BindingMap *	bindings,
		Fact *	f_imdl
	)

r_exec::PTPX::~PTPX ( )

Member Function Documentation

bool r_exec::PTPX::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::PTPX::build_mdl	(	_Fact *	f_icst,
		_Fact *	cause_pattern,
		_Fact *	consequent,
		GuardBuilder *	guard_builder,
		uint64_t	period,
		Code *	new_cst
	)