Constant Field Values

Contents

• galois.objects.*
• galois.runtime.*
• util.*

galois.objects.*

galois.objects.MethodFlag

public static final byte	ALL	-1
public static final byte	CHECK_CONFLICT	1
public static final byte	NONE	0
public static final byte	SAVE_UNDO	2

galois.runtime.*

galois.runtime.wl.BoundedFIFO<T>

public static final int

DEFAULT_MAX_ELEMENTS

32

galois.runtime.wl.BoundedLIFO<T>

public static final int

DEFAULT_MAX_ELEMENTS

32

galois.runtime.wl.ChunkedFIFO<T>

public static final int

DEFAULT_CHUNK_SIZE

32

galois.runtime.wl.ChunkedLIFO<T>

public static final int

DEFAULT_CHUNK_SIZE

32

galois.runtime.wl.ChunkedRandomOrder<T>

public static final int	DEFAULT_CHUNK_SIZE	32
public static final int	DEFAULT_INITIAL_CAPACITY	1024

util.*

util.StackSampler

public static final String

includeMethodName

"__stackSamplerRecordMe"