#include <g_monitor.h>
|
typedef std::list< std::pair< P< Goal >, P< Sim > > > | SolutionList |
|
void | commit () |
|
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) |
|
| Monitor (MDLController *controller, BindingMap *bindings, Fact *target) |
|
| _Object () |
|
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 |
|
P< BindingMap > | bindings |
|
P< Fact > | target |
|
MDLController * | controller |
|
std::atomic_int_fast64_t | refCount |
|
bool r_exec::SRMonitor::reduce |
( |
_Fact * |
input | ) |
|
|
virtual |
bool r_exec::SRMonitor::signal |
( |
bool |
simulation | ) |
|
|
virtual |
void r_exec::SRMonitor::update |
( |
uint64_t & |
next_target | ) |
|
The documentation for this class was generated from the following files: