| 733 | ======================================================================= */ |
| 734 | |
| 735 | void init_firer(agent* thisAgent) |
| 736 | { |
| 737 | init_memory_pool(thisAgent, &thisAgent->instantiation_pool, |
| 738 | sizeof(instantiation), "instantiation"); |
| 739 | } |
| 740 | |
| 741 | inline bool trace_firings_of_inst(agent* thisAgent, instantiation* inst) |
| 742 | { |
no test coverage detected