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 |
IBEX_HOOK_NAME |
"H_IBEX" |
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 |
---|---|---|
public static final String |
ABSOLUTE |
"ABSOLUTE" |
public static final String |
ALLDIFFERENT |
"ALLDIFFERENT" |
public static final String |
AMONG |
"AMONG" |
public static final String |
ARITHM |
"ARITHM" |
public static final String |
ATLEASTNVALUES |
"ATLEASTNVALUES" |
public static final String |
ATMOSTNVALUES |
"ATMOSTNVALUES" |
public static final String |
BASIC_REI |
"BASIC_REIF" |
public static final String |
BINPACKING |
"BINPACKING" |
public static final String |
BITSINTCHANNELING |
"BITSINTCHANNELING" |
public static final String |
BOOLCHANNELING |
"BOOLCHANNELING" |
public static final String |
CIRCUIT |
"CIRCUIT" |
public static final String |
CLAUSESINTCHANNELING |
"CLAUSESINTCHANNELING" |
public static final String |
COSTREGULAR |
"COSTREGULAR" |
public static final String |
COUNT |
"COUNT" |
public static final String |
CUMULATIVE |
"CUMULATIVE" |
public static final String |
DIFFN |
"DIFFN" |
public static final String |
DIFFNWITHCUMULATIVE |
"DIFFNWITHCUMULATIVE" |
public static final String |
DISTANCE |
"DISTANCE" |
public static final String |
DIVISION |
"DIVISION" |
public static final String |
ELEMENT |
"ELEMENT" |
public static final String |
FALSE |
"FALSE" |
public static final String |
GCC |
"GCC" |
public static final String |
INT_VALUE_PRECEDE |
"INT_VALUE_PRECEDE" |
public static final String |
INTEQREAL |
"INTEQREAL" |
public static final String |
INVERSECHANNELING |
"INVERSECHANNELING" |
public static final String |
KEYSORT |
"KEYSORT" |
public static final String |
KNAPSACK |
"KNAPSACK" |
public static final String |
LEX |
"LEX" |
public static final String |
LEXCHAIN |
"LEXCHAIN" |
public static final String |
LOCALCONSTRUCTIVEDISJUNCTION |
"LOCALCONSTRUCTIVEDISJUNCTION" |
public static final String |
MAX |
"MAX" |
public static final String |
MDDC |
"MDDC" |
public static final String |
MEMBER |
"MEMBER" |
public static final String |
MIN |
"MIN" |
public static final String |
MIXEDSCALAR |
"MIXEDSCALAR" |
public static final String |
MULTICOSTREGULAR |
"MULTICOSTREGULAR" |
public static final String |
NOGOODCONSTRAINT |
"NOGOODCONSTRAINT" |
public static final String |
NOTMEMBER |
"NOTMEMBER" |
public static final String |
NVALUES |
"NVALUES" |
public static final String |
OPPOSITE |
"OPPOSITE" |
public static final String |
PATH |
"PATH" |
public static final String |
REALCONSTRAINT |
"REALCONSTRAINT" |
public static final String |
REGULAR |
"REGULAR" |
public static final String |
REIFICATIONCONSTRAINT |
"REIFICATIONCONSTRAINT" |
public static final String |
SATCONSTRAINT |
"SATCONSTRAINT" |
public static final String |
SETALLDIFFERENT |
"SETALLDIFFERENT" |
public static final String |
SETALLDISJOINT |
"SETALLDISJOINT" |
public static final String |
SETALLEQUAL |
"SETALLEQUAL" |
public static final String |
SETBOOLCHANNELING |
"SETBOOLCHANNELING" |
public static final String |
SETCARD |
"SETCARD" |
public static final String |
SETELEMENT |
"SETELEMENT" |
public static final String |
SETINTCHANNELING |
"SETINTCHANNELING" |
public static final String |
SETINTERSECTION |
"SETINTERSECTION" |
public static final String |
SETINTVALUESUNION |
"SETINTVALUESUNION" |
public static final String |
SETINVERSE |
"SETINVERSE" |
public static final String |
SETMAX |
"SETMAX" |
public static final String |
SETMEMBER |
"SETMEMBER" |
public static final String |
SETMIN |
"SETMIN" |
public static final String |
SETNBEMPTY |
"SETNBEMPTY" |
public static final String |
SETNOTEMPTY |
"SETNOTEMPTY" |
public static final String |
SETNOTMEMBER |
"SETNOTMEMBER" |
public static final String |
SETOFFSET |
"SETOFFSET" |
public static final String |
SETPARTITION |
"SETPARTITION" |
public static final String |
SETSUBSETEQ |
"SETSUBSETEQ" |
public static final String |
SETSUM |
"SETSUM" |
public static final String |
SETSYMMETRIC |
"SETSYMMETRIC" |
public static final String |
SETUNION |
"SETUNION" |
public static final String |
SQUARE |
"SQUARE" |
public static final String |
SUBCIRCUIT |
"SUBCIRCUIT" |
public static final String |
SUBPATH |
"SUBPATH" |
public static final String |
SUM |
"SUM" |
public static final String |
TABLE |
"TABLE" |
public static final String |
TIMES |
"TIMES" |
public static final String |
TREE |
"TREE" |
public static final String |
TRUE |
"TRUE" |
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_DOMAIN |
-2 |
public static final int |
BAD_POINT |
7 |
public static final int |
CONTRACT |
2 |
public static final int |
DISCRETE_NOT_INSTANCIATED |
1 |
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 |
INFLATE |
5 |
public static final int |
NOT_BUILT |
-3 |
public static final int |
NOT_SIGNIFICANT |
4 |
public static final int |
NOT_STARTED |
3 |
public static final int |
NOTHING |
3 |
public static final double |
RATIO |
0.01 |
public static final int |
SEARCH_OVER |
2 |
public static final int |
SOLUTION |
1 |
public static final int |
STARTED |
0 |
public static final int |
TRUE |
1 |
public static final int |
UNKNOWN |
0 |
public static final int |
UNKNOWN_POINT |
8 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
X |
0 |
public static final int |
Y |
1 |
public static final int |
Z |
2 |
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_EMPTY |
"empty domain" |
protected static final String |
MSG_INST |
"already instantiated" |
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 © 2018. All rights reserved.