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

Packages that use ThreadPool.PoolPolicy

Package	Description
de.learnlib.oracle	This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.

Uses of ThreadPool.PoolPolicy in de.learnlib.oracle

Methods in de.learnlib.oracle 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.