Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MIN_CAPACITY |
8 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
BITS_PER_WORD |
64 |
protected static final long |
WORD_MASK |
-1L |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
LOADFACTOR |
2.0 |
public static final int |
NBUPATES |
256 |
public static final int |
NBWORLDS |
128 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
MINISAT_HOOK_NAME |
"H_MINISAT" |
public static final String |
NOGOODS_HOOK_NAME |
"H_NOGOODS" |
public static final String |
TASK_SET_HOOK_NAME |
"H_TASKSET" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
MAX |
2147483646 |
protected static final int |
MIN |
-2147483647 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
AC |
"AC" |
public static final String |
BC |
"BC" |
public static final String |
DEFAULT |
"DEFAULT" |
public static final String |
FC |
"FC" |
public static final String |
NEQS |
"NEQS" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAXBOUNDITER |
10 |
public static final int |
MAXNONIMPROVEITER |
15 |
public static final double |
RO |
0.7 |
public static final double |
U0 |
10.0 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
ECP |
3 |
protected static final int |
PRU |
1 |
protected static final int |
SCP |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BAD_POINT |
7 |
public static final int |
COMPO |
0 |
public static final int |
CONTRACT |
2 |
public static final int |
ENTAILED |
1 |
public static final int |
FAIL |
0 |
public static final int |
FALSE |
0 |
public static final int |
FALSE_OR_TRUE |
2 |
public static final int |
FULL_INFLATE |
6 |
public static final int |
HC4 |
1 |
public static final int |
HC4_NEWTON |
2 |
public static final int |
INFLATE |
5 |
public static final int |
NOT_SIGNIFICANT |
4 |
public static final int |
NOTHING |
3 |
public static final double |
RATIO |
0.01 |
public static final int |
TRUE |
1 |
public static final int |
UNKNOWN_POINT |
8 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
MAX |
2147483646 |
protected static final int |
MIN |
-2147483647 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
BD |
7 |
protected static final int |
DM |
15 |
protected static final int |
LB |
3 |
protected static final int |
RM |
1 |
protected static final int |
UB |
5 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final float |
IN_SEC |
1.0E9f |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
FLOOR |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAX_INT_BOUND |
21474836 |
public static final int |
MIN_INT_BOUND |
-21474836 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
CSTE_NAME |
"cste -- " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BOOL |
24 |
public static final int |
CSTE |
2 |
public static final int |
INT |
8 |
public static final int |
KIND |
1016 |
public static final int |
REAL |
64 |
public static final int |
SET |
32 |
public static final int |
TYPE |
7 |
public static final int |
VAR |
1 |
public static final int |
VIEW |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
LB |
0 |
public static final int |
UB |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ALL_EVENTS |
255 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final String |
MSG_BOUND |
"new bounds are incorrect" |
protected static final String |
MSG_EMPTY |
"empty domain" |
protected static final String |
MSG_INST |
"already instantiated" |
protected static final String |
MSG_LOW |
"new upper bound is lesser than lower bound" |
protected static final String |
MSG_REMOVE |
"remove last value" |
protected static final String |
MSG_UNKNOWN |
"unknown value" |
protected static final String |
MSG_UPP |
"new lower bound is greater than upper bound" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
EMPTY |
0 |
public static final int |
TERMINAL |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
ROUNDED_LOG_PRECISION |
10000.0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final long |
MILLISECONDS_IN_NANOSECONDS |
1000000L |
Copyright © 2017. All rights reserved.