Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
debugAll |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final boolean |
trace |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
debugAll |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public final boolean |
filterUseless |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
debugAll |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DEBUG |
false |
public static final boolean |
DEBUG_ALL |
false |
public static final int |
DELETED_ARC |
-3 |
public static final int |
LARGE_COST |
100000 |
public static final int |
TREE_ARC |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
debugAll |
false |
public final boolean |
optimizedMDD |
false |
public static final boolean |
saveAllToLatex |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
NOINFO |
-2147483648 |
public static final int |
NONE |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ANY |
2 |
public static final int |
BOUND |
1 |
public static final int |
BoundDomainID |
1 |
public static final int |
GROUND |
0 |
public static final int |
IntervalDomainID |
0 |
public static final int |
MaxInt |
536870909 |
public static final int |
MinInt |
-536870910 |
public static final int |
SmallDenseDomainID |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
debug |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
debug |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
trace |
false |
public static final boolean |
traceSearch |
false |
public static final boolean |
traceStore |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
X |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
addId |
1 |
public static final int |
mulId |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
MAX_FLOAT |
1.0E150 |
public static final double |
MIN_FLOAT |
-1.0E150 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final byte |
eq |
0 |
public static final byte |
ge |
5 |
public static final byte |
gt |
4 |
public static final byte |
le |
2 |
public static final byte |
lt |
1 |
public static final byte |
ne |
3 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ANY |
2 |
public static final int |
BOUND |
1 |
public static final double |
E |
2.718281828459045 |
public static final int |
FloatIntervalDomainID |
0 |
public static final int |
GROUND |
0 |
public static final int |
IntervalDomainID |
0 |
public static final double |
MaxFloat |
1.7976931348623157E308 |
public static final double |
MinFloat |
-1.7976931348623157E308 |
public static final double |
PI |
3.141592653589793 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ARRAY |
20 |
public static final int |
ASGN |
19 |
public static final int |
BOOL |
21 |
public static final int |
COLON |
11 |
public static final int |
COLONCOLON |
39 |
public static final int |
COMMA |
12 |
public static final int |
CONSTRAINT |
22 |
public static final int |
DEFAULT |
0 |
public static final int |
DOTDOT |
38 |
public static final int |
EOF |
0 |
public static final int |
FALSE |
23 |
public static final int |
FLOAT |
24 |
public static final int |
FLOAT_LITERAL |
9 |
public static final int |
IDENT |
40 |
public static final int |
INT |
25 |
public static final int |
INT_LITERAL |
8 |
public static final int |
LB |
17 |
public static final int |
LBOX |
15 |
public static final int |
LP |
13 |
public static final int |
MAXIMIZE |
27 |
public static final int |
MINIMIZE |
26 |
public static final int |
OF |
28 |
public static final int |
OUTPUT |
29 |
public static final int |
PREDICATE |
30 |
public static final int |
RB |
18 |
public static final int |
RBOX |
16 |
public static final int |
RP |
14 |
public static final int |
SATISFY |
31 |
public static final int |
SC |
10 |
public static final int |
SET |
32 |
public static final int |
SHOW |
33 |
public static final int |
SHOW_COND |
34 |
public static final int |
SINGLE_LINE_COMMENT |
6 |
public static final int |
SOLVE |
35 |
public static final int |
STRING_LITERAL |
7 |
public static final int |
TRUE |
36 |
public static final int |
VAR |
37 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
JJTANNEXPR |
14 |
public static final int |
JJTANNOTATION |
23 |
public static final int |
JJTARRAYLITERAL |
21 |
public static final int |
JJTBOOLTIEXPRTAIL |
10 |
public static final int |
JJTCONSTELEM |
7 |
public static final int |
JJTCONSTRAINT |
6 |
public static final int |
JJTCONSTRAINTITEMS |
3 |
public static final int |
JJTFLOATTIEXPRTAIL |
12 |
public static final int |
JJTINTFLATEXPR |
16 |
public static final int |
JJTINTLITERALS |
19 |
public static final int |
JJTINTTIEXPRTAIL |
11 |
public static final int |
JJTMODEL |
0 |
public static final int |
JJTMODELEND |
4 |
public static final int |
JJTSCALARFLATEXPR |
15 |
public static final int |
JJTSETELEMENT |
22 |
public static final int |
JJTSETLITERAL |
20 |
public static final int |
JJTSETTIEXPRTAIL |
13 |
public static final int |
JJTSOLVEEXPR |
18 |
public static final int |
JJTSOLVEITEM |
8 |
public static final int |
JJTSOLVEKIND |
9 |
public static final int |
JJTVARDECLITEM |
5 |
public static final int |
JJTVARDECLITEMS |
2 |
public static final int |
JJTVARIABLEEXPR |
17 |
public static final int |
JJTVOID |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
MAX_FLOAT |
1.0E150 |
public static final int |
MAX_INT |
536870909 |
public static final double |
MIN_FLOAT |
-1.0E150 |
public static final int |
MIN_INT |
-536870910 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
CONFLICT |
0 |
public static final int |
SATISFIABLE |
2 |
public static final int |
UNKNOWN |
1 |
public static final int |
UNSATISFIABLE |
3 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
CLAUSE_RATE_AVERAGE |
5 |
protected static final int |
CLAUSE_RATE_LOW |
2 |
protected static final int |
CLAUSE_RATE_UNSUPPORTED |
0 |
protected static final int |
CLAUSE_RATE_WELL_SUPPORTED |
8 |
protected static final int |
MINIMUM_VAR_WATCH_SIZE |
10 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
SATISFIED_CLAUSE |
2 |
public static final int |
UNKNOWN_CLAUSE |
0 |
public static final int |
UNSATISFIABLE_CLAUSE |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
luby |
1 |
public static final int |
poly |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ANY |
4 |
public static final int |
BOUND |
3 |
public static final int |
CARDINALITY |
5 |
public static final int |
GLB |
1 |
public static final int |
GROUND |
0 |
public static final int |
LUB |
2 |
public static final int |
SetDomainID |
3 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
NOEDGE |
0 |
public static final int |
START_SIZE |
1000 |
public static final int |
TERMINAL |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
Concatenation |
2 |
public static final int |
Expression |
0 |
public static final int |
Literal |
1 |
public static final int |
Star |
3 |
public static final int |
Sum |
4 |
Copyright © 2022. All rights reserved.