Module de.learnlib.oracle.parallelism

Package de.learnlib.oracle.parallelism

Class BatchProcessorDefaults

java.lang.Object

de.learnlib.oracle.parallelism.BatchProcessorDefaults

public final class BatchProcessorDefaults
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	BATCH_SIZE
static int	MIN_BATCH_SIZE
static ThreadPool.PoolPolicy	POOL_POLICY
static int	POOL_SIZE

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

BATCH_SIZE

public static final int BATCH_SIZE

MIN_BATCH_SIZE

public static final int MIN_BATCH_SIZE

POOL_POLICY

public static final ThreadPool.PoolPolicy POOL_POLICY

POOL_SIZE

public static final int POOL_SIZE