| 3351 | ********************************************************************** */ |
| 3352 | |
| 3353 | void init_decider(agent* thisAgent) |
| 3354 | { |
| 3355 | init_memory_pool(thisAgent, &thisAgent->slot_pool, sizeof(slot), "slot"); |
| 3356 | init_memory_pool(thisAgent, &thisAgent->wme_pool, sizeof(wme), "wme"); |
| 3357 | init_memory_pool(thisAgent, &thisAgent->preference_pool, |
| 3358 | sizeof(preference), "preference"); |
| 3359 | } |
| 3360 | |
| 3361 | void do_buffered_wm_and_ownership_changes(agent* thisAgent) |
| 3362 | { |
no test coverage detected