31 #ifndef cst_controller_h
32 #define cst_controller_h
92 _Fact *sub_goal_target,
P< HLPBindingMap > bindings
Definition: hlp_overlay.h:47
Definition: hlp_controller.h:51
void inject_goal(HLPBindingMap *bm, Fact *super_goal, _Fact *sub_goal_target, Sim *sim, uint64_t now, double confidence, Code *group) const
Definition: cst_controller.cpp:386
Definition: factory.h:145
Group * get_secondary_host() const
Definition: cst_controller.cpp:477
double lowest_cfd
Definition: cst_controller.h:56
void update(HLPBindingMap *map, _Fact *input, _Fact *bound_pattern)
Definition: cst_controller.cpp:130
void set_secondary_host(Group *host)
Definition: cst_controller.cpp:472
Definition: hlp_overlay.h:43
bool now(const Context &context, uint16_t &index)
Definition: operator.cpp:55
~CSTOverlay()
Definition: cst_controller.cpp:52
std::mutex m_mutex
Definition: cst_controller.h:87
std::vector< P< _Fact > > inputs
Definition: cst_controller.h:58
Fact * get_f_icst(HLPBindingMap *bindings, std::vector< P< _Fact > > *inputs) const
Definition: cst_controller.cpp:423
~CSTController()
Definition: cst_controller.cpp:279
Definition: _context.cpp:34
Fact * get_f_ihlp(HLPBindingMap *bindings, bool wr_enabled) const
Definition: cst_controller.cpp:418
CSTController(r_code::View *view)
Definition: cst_controller.cpp:253
void inject_production()
Definition: cst_controller.cpp:74
void take_input(r_exec::View *input)
Definition: cst_controller.cpp:282
Definition: binding_map.h:252
void load_patterns()
Definition: cst_controller.cpp:55
bool match(const IPGMContext &input, const IPGMContext &pattern)
Definition: context.cpp:452
std::unordered_set< P< _Fact >, PHash< _Fact > > predictions
Definition: cst_controller.h:60
void abduce(HLPBindingMap *bm, Fact *super_goal)
Definition: cst_controller.cpp:346
void reduce(r_exec::View *input)
Definition: cst_controller.cpp:295
void kill_views()
Definition: cst_controller.cpp:482
Group * secondary_host
Definition: cst_controller.h:86
bool inject_prediction(Fact *prediction, double confidence, uint64_t time_to_live) const
Definition: cst_controller.cpp:431
Definition: cst_controller.h:52
r_code::View * view
Definition: overlay.h:58
std::unordered_set< P< Sim >, PHash< Sim > > simulations
Definition: cst_controller.h:61
bool can_match(uint64_t now) const
Definition: cst_controller.cpp:67
CSTOverlay * get_offspring(HLPBindingMap *map, _Fact *input, _Fact *bound_pattern)
Definition: cst_controller.cpp:119
bool reduce(View *input, CSTOverlay *&offspring)
Definition: cst_controller.cpp:152
uint64_t match_deadline
Definition: cst_controller.h:55
void check_last_match_time(bool match)
Definition: cst_controller.cpp:488
P< HLPBindingMap > bindings
Definition: hlp_controller.h:108
void inject_icst(Fact *production, double confidence, uint64_t time_to_live) const
Definition: cst_controller.cpp:446
Definition: factory.h:174
Definition: cst_controller.h:83
CSTOverlay(const CSTOverlay *original)
Definition: cst_controller.cpp:43