Inheritance diagram for r_exec::SGMonitor:
Public Member Functions | |
| SGMonitor (PrimaryMDLController *controller, BindingMap *bindings, Timestamp sim_thz_timestamp, Fact *goal, Fact *f_imdl) | |
| bool | reduce (_Fact *input) override |
| void | update (Timestamp &next_target) |
 Public Member Functions inherited from r_exec::_GMonitor | |
| virtual bool | signal (Pred *) |
| Public Member Functions inherited from r_exec::Monitor | |
| bool | is_alive () const |
| Public Member Functions inherited from core::_Object | |
| void | incRef () |
| virtual void | decRef () |
Protected Member Functions | |
| void | commit () |
| Protected Member Functions inherited from r_exec::_GMonitor | |
| 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) | |
Additional Inherited Members | |
| Protected Types inherited from r_exec::_GMonitor | |
| typedef std::list< std::pair< P< _Fact >, P< Sim > > > | SolutionList |
| Static Protected Member Functions inherited from r_exec::_GMonitor | |
| static Goal * | get_solution_goal (_Fact *f_pred_f_success) |
| Protected Attributes inherited from r_exec::_GMonitor | |
| 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 232 of file g_monitor.h.
The documentation for this class was generated from the following files:
