dk.brics.tajs.options

Class Options.Constants

java.lang.Object

dk.brics.tajs.options.Options.Constants

Enclosing class:

Options

public static class Options.Constants
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	ARRAY_TRUNCATION_BOUND
static int	HYBRID_ARRAY_HASH_MAP_ARRAY_SIZE
static int	HYBRID_ARRAY_HASH_SET_ARRAY_SIZE
static int	MAX_CONTEXT_SPECIALIZATION
static int	NUMBER_OF_UNKNOWN_ARGUMENTS_TO_KEEP_DISJOINT
static int	STRING_CONCAT_SETS_BOUND
static int	STRING_SETS_BOUND

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

ARRAY_TRUNCATION_BOUND

public static final int ARRAY_TRUNCATION_BOUND

See Also:

Constant Field Values

HYBRID_ARRAY_HASH_MAP_ARRAY_SIZE

public static final int HYBRID_ARRAY_HASH_MAP_ARRAY_SIZE

See Also:

Constant Field Values

HYBRID_ARRAY_HASH_SET_ARRAY_SIZE

public static final int HYBRID_ARRAY_HASH_SET_ARRAY_SIZE

See Also:

Constant Field Values

MAX_CONTEXT_SPECIALIZATION

public static final int MAX_CONTEXT_SPECIALIZATION

See Also:

Constant Field Values

NUMBER_OF_UNKNOWN_ARGUMENTS_TO_KEEP_DISJOINT

public static final int NUMBER_OF_UNKNOWN_ARGUMENTS_TO_KEEP_DISJOINT

See Also:

Constant Field Values

STRING_CONCAT_SETS_BOUND

public static final int STRING_CONCAT_SETS_BOUND

See Also:

Constant Field Values

STRING_SETS_BOUND

public static final int STRING_SETS_BOUND

See Also:

Constant Field Values