[nondet]thread_pool_property(?Name,
?Property)True if Property is a property of thread pool Name.
Defined properties are:
- options(Options)
- Thread creation options for this pool
- free(Size)
- Number of free slots on this pool
- size(Size)
- Total number of slots on this pool
- members(ListOfIDs)
- ListOfIDs is the list or threads running in this pool
- running(Running)
- Number of running threads in this pool
- backlog(Size)
- Number of delayed thread creations on this pool