

Classes | |
| struct | task_and_consumer |
Public Member Functions | |
| void | queue (sync_task *r, sc_core::sc_process_b *current=NULL) |
Static Public Member Functions | |
| static thread_pool_ondemand * | get_instance () |
| static void | delete_instance () |
Definition at line 24 of file thread-pool-ondemand.h.
1.7.1