Uses of Class
de.learnlib.oracle.parallelism.ThreadPool.PoolPolicy

Packages that use ThreadPool.PoolPolicy

Package	Description
de.learnlib.oracle.parallelism

Uses of ThreadPool.PoolPolicy in de.learnlib.oracle.parallelism

Methods in de.learnlib.oracle.parallelism that return ThreadPool.PoolPolicy

Modifier and Type	Method	Description
static ThreadPool.PoolPolicy	ThreadPool.PoolPolicy.valueOf(String name)	Returns the enum constant of this type with the specified name.
static ThreadPool.PoolPolicy[]	ThreadPool.PoolPolicy.values()	Returns an array containing the constants of this enum type, in the order they are declared.