#include <g_monitor.h>

Inheritance diagram for r_exec::SRMonitor:

Collaboration diagram for r_exec::SRMonitor:

Public Member Functions
	SRMonitor (PrimaryMDLController controller, BindingMap bindings, uint64_t sim_thz, Fact goal, Fact f_imdl)

bool	reduce (_Fact *input)

void	update (uint64_t &next_target)

bool	signal (bool simulation)

Public Member Functions inherited from r_exec::SGMonitor
	SGMonitor (PrimaryMDLController controller, BindingMap bindings, uint64_t sim_thz, Fact goal, Fact f_imdl)

void	update (uint64_t &next_target)

Public Member Functions inherited from r_exec::Monitor
bool	is_alive () const

Public Member Functions inherited from core::_Object
virtual	~_Object ()

void	incRef ()

virtual void	decRef ()

Additional Inherited Members
Protected Types inherited from r_exec::_GMonitor
typedef std::list< std::pair< P< Goal >, P< Sim > > >	SolutionList

Protected Member Functions inherited from r_exec::SGMonitor
void	commit ()

Protected Member Functions inherited from r_exec::_GMonitor
void	store_simulated_outcome (Goal affected_goal, Sim sim, bool success)

void	invalidate_sim_outcomes ()

	_GMonitor (PMDLController controller, BindingMap bindings, uint64_t deadline, uint64_t sim_thz, Fact goal, Fact f_imdl)

Protected Member Functions inherited from r_exec::Monitor
	Monitor (MDLController controller, BindingMap bindings, Fact *target)

Protected Member Functions inherited from core::_Object
	_Object ()

Protected Attributes inherited from r_exec::_GMonitor
uint64_t	deadline

uint64_t	sim_thz

_Fact *	goal_target

P< Fact >	f_imdl

SimMode	sim_mode

uint64_t volatile	simulating

SimOutcomes	sim_successes

SimOutcomes	sim_failures

Protected Attributes inherited from r_exec::Monitor
P< BindingMap >	bindings

P< Fact >	target

MDLController *	controller

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