Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
LIMIT_FOR_MAP |
100 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BOUND |
10 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final long |
MAXCONFLICTS |
100000L |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final String |
OBJECTIVE_FUNCTION |
"(\\[(\'min\'|\'max\'),(\\[(\\[(-?\\d+),(-?\\d+)\\](,\\[(-?\\d+),(-?\\d+)\\])*)?\\])\\])" |
public static final String |
PB |
"(\\[(\\[(\\[(-?\\d+),(-?\\d+)\\](,\\[(-?\\d+),(-?\\d+)\\])*)?\\]),\'[=<>]=?\',-?\\d+\\])" |
public static final String |
WCLAUSE |
"(\\[(\\[(-?\\d+),(-?\\d+)\\](,\\[(-?\\d+),(-?\\d+)\\])*)?\\])" |
public static final String |
WLITERAL |
"\\[(-?\\d+),(-?\\d+)\\]" |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.