replicode
Classes | Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
r_exec::_GMonitor Class Reference

#include <g_monitor.h>

Inheritance diagram for r_exec::_GMonitor:
Inheritance graph
Collaboration diagram for r_exec::_GMonitor:
Collaboration graph

Classes

class  SimOutcomes
 

Public Member Functions

virtual bool signal (bool simulation)
 
- 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
virtual ~_Object ()
 
void incRef ()
 
virtual void decRef ()
 

Protected Types

typedef std::list< std::pair< P< Goal >, P< Sim > > > SolutionList
 

Protected Member Functions

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

uint64_t deadline
 
uint64_t sim_thz
 
_Factgoal_target
 
P< Factf_imdl
 
SimMode sim_mode
 
uint64_t volatile simulating
 
SimOutcomes sim_successes
 
SimOutcomes sim_failures
 
- Protected Attributes inherited from r_exec::Monitor
P< BindingMapbindings
 
P< Facttarget
 
MDLControllercontroller
 
- Protected Attributes inherited from core::_Object
std::atomic_int_fast64_t refCount
 

Member Typedef Documentation

typedef std::list<std::pair<P<Goal>, P<Sim> > > r_exec::_GMonitor::SolutionList
protected

Constructor & Destructor Documentation

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

Here is the call graph for this function:

Member Function Documentation

void r_exec::_GMonitor::invalidate_sim_outcomes ( )
protected

Here is the caller graph for this function:

virtual bool r_exec::_GMonitor::signal ( bool  simulation)
inlinevirtual

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

void r_exec::_GMonitor::store_simulated_outcome ( Goal affected_goal,
Sim sim,
bool  success 
)
protected

Here is the caller graph for this function:

Member Data Documentation

uint64_t r_exec::_GMonitor::deadline
protected
P<Fact> r_exec::_GMonitor::f_imdl
protected
_Fact* r_exec::_GMonitor::goal_target
protected
SimOutcomes r_exec::_GMonitor::sim_failures
protected
SimMode r_exec::_GMonitor::sim_mode
protected
SimOutcomes r_exec::_GMonitor::sim_successes
protected
uint64_t r_exec::_GMonitor::sim_thz
protected
uint64_t volatile r_exec::_GMonitor::simulating
protected

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