r_exec::_GMonitor Class Reference

Inheritance diagram for r_exec::_GMonitor:

Classes
class	SimOutcomes

Public Member Functions
virtual bool	signal (Pred *)
Public Member Functions inherited from r_exec::Monitor
bool	is_alive () const
virtual bool	reduce (_Fact *input)=0
Public Member Functions inherited from core::_Object
void	incRef ()
virtual void	decRef ()

Protected Types
typedef std::list< std::pair< P< _Fact >, P< Sim > > >	SolutionList

Protected Member Functions
void	store_simulated_outcome (_Fact *f_pred_f_success, Sim *sim)
void	invalidate_sim_outcomes ()
	_GMonitor (PMDLController *controller, BindingMap *bindings, Timestamp deadline, Timestamp sim_thz_timestamp, Fact *goal, Fact *f_imdl)
Protected Member Functions inherited from r_exec::Monitor
	Monitor (MDLController *controller, BindingMap *bindings, Fact *target, r_code::Code *mk_rdx)

Static Protected Member Functions
static Goal *	get_solution_goal (_Fact *f_pred_f_success)

Protected Attributes
Timestamp	deadline_
Timestamp	sim_thz_timestamp_
_Fact *	goal_target_
P< Fact >	f_imdl_
SimMode	sim_mode_
uint32 volatile	simulating_
SimOutcomes	sim_successes_
SimOutcomes	sim_failures_
Protected Attributes inherited from r_exec::Monitor
P< BindingMap >	bindings_
P< Fact >	target_
P< r_code::Code >	mk_rdx_
MDLController *	controller_
Protected Attributes inherited from core::_Object
std::atomic_int32_t	refCount_

Detailed Description

Definition at line 96 of file g_monitor.h.

Member Function Documentation

signal()

virtual bool r_exec::_GMonitor::signal ( Pred *  )

inlinevirtual

If prediction->is_simulation(), then this is for a simulation.

Reimplemented in r_exec::SRMonitor, and r_exec::RMonitor.

Definition at line 155 of file g_monitor.h.

store_simulated_outcome()

void r_exec::_GMonitor::store_simulated_outcome ( _Fact *  f_pred_f_success, Sim *  sim  )

protected

Store the outcome of any goal affected by the simulation of the monitored goal. If (fact (pred (fact ...))) then store in sim_successes_. Otherwise if (fact (pred (|fact ...))) then store in sim_failures_.

Parameters

f_pred_f_success	The (fact (pred (fact (success...)))) or (fact (pred (|fact (success...)))) where the success's object is the affected (fact (goal ...)).
sim	The Sim object (for the relevant controller) from the prediction.

Definition at line 113 of file g_monitor.cpp.

---

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

• g_monitor.h
• g_monitor.cpp