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

Packages that use ParallelOracle.PoolPolicy

Package	Description
de.learnlib.oracle.parallelism

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

Fields in de.learnlib.oracle.parallelism declared as ParallelOracle.PoolPolicy

Modifier and Type	Field and Description
static ParallelOracle.PoolPolicy	StaticParallelOracle.POOL_POLICY
static ParallelOracle.PoolPolicy	DynamicParallelOracle.POOL_POLICY

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

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

Methods in de.learnlib.oracle.parallelism with parameters of type ParallelOracle.PoolPolicy

Modifier and Type	Method and Description
StaticParallelOracleBuilder<I,D>	StaticParallelOracleBuilder.withPoolPolicy(ParallelOracle.PoolPolicy policy)
DynamicParallelOracleBuilder<I,D>	DynamicParallelOracleBuilder.withPoolPolicy(ParallelOracle.PoolPolicy policy)

Constructors in de.learnlib.oracle.parallelism with parameters of type ParallelOracle.PoolPolicy

Constructor and Description
StaticParallelOracle(Collection<? extends MembershipOracle<I,D>> oracles, int minBatchSize, ParallelOracle.PoolPolicy policy)