Searched refs:destroy_processor (Results 1 – 4 of 4) sorted by relevance
127 void destroy_processor( const processor_handle & processor ) in destroy_processor() function in boost::statechart::fifo_scheduler129 work_item item = container_.destroy_processor( processor ); in destroy_processor()
266 WorkItem destroy_processor( const processor_handle & processor ) in destroy_processor() function in boost::statechart::processor_container
82 machine.my_scheduler().destroy_processor( machine.my_handle() ); in DestroyMyself()
209 scheduler.destroy_processor( processor ); in Check()