public static final java.lang.String |
ABS |
"abs" |
public static final java.lang.String |
ADD |
"add" |
public static final java.lang.String |
ALLDIFFERENT |
"alldifferent" |
public static final java.lang.String |
AND |
"and" |
public static final java.lang.String |
BOOL_DEFINITION |
"bool" |
public static final java.lang.String |
CONFLICTS |
"conflicts" |
public static final java.lang.String |
COUNT |
"count" |
public static final java.lang.String |
CUMULATIVE |
"cumulative" |
public static final java.lang.String |
DBOOL_DEFINITION |
"dbool" |
public static final java.lang.String |
DINT_DEFINITION |
"dint" |
public static final java.lang.String |
DISJUNCTIVE |
"disjunctive" |
public static final java.lang.String |
DIV |
"div" |
public static final java.lang.String |
DOMAIN_DEFINITION |
"domain" |
public static final java.lang.String |
ELEMENT |
"element" |
public static final java.lang.String |
EQ |
"eq" |
public static final java.lang.String |
FALSE |
"false" |
public static final java.lang.String |
GE |
"ge" |
public static final java.lang.String |
GLOBAL_CARDINALITY |
"global_cardinality" |
public static final java.lang.String |
GLOBAL_CARDINALITY_WITH_COSTS |
"global_cardinality_with_costs" |
public static final java.lang.String |
GROPUS_DEFINITION |
"groups" |
public static final java.lang.String |
GT |
"gt" |
public static final java.lang.String |
HOLD |
"hold" |
public static final java.lang.String |
IF |
"if" |
public static final java.lang.String |
IFF |
"iff" |
public static final java.lang.String |
IMP |
"imp" |
public static final java.lang.String |
INT_DEFINITION |
"int" |
public static final java.lang.String |
LABEL |
"label" |
public static final java.lang.String |
LE |
"le" |
public static final java.lang.String |
LEX_LESS |
"lex_less" |
public static final java.lang.String |
LEX_LESSEQ |
"lex_lesseq" |
public static final java.lang.String |
LT |
"lt" |
public static final java.lang.String |
MAX |
"max" |
public static final java.lang.String |
MAXIMIZE |
"maximize" |
public static final java.lang.String |
MIN |
"min" |
public static final java.lang.String |
MINIMIZE |
"minimize" |
public static final java.lang.String |
MOD |
"mod" |
public static final java.lang.String |
MUL |
"mul" |
public static final java.lang.String |
NE |
"ne" |
public static final java.lang.String |
NEG |
"neg" |
public static final java.lang.String |
NIL |
"nil" |
public static final java.lang.String |
NOT |
"not" |
public static final java.lang.String |
NVALUE |
"nvalue" |
public static final java.lang.String |
OBJECTIVE_DEFINITION |
"objective" |
public static final java.lang.String |
OR |
"or" |
public static final java.lang.String |
POW |
"pow" |
public static final java.lang.String |
PRAGMA |
"PRAGMA" |
public static final java.lang.String |
PREDICATE_DEFINITION |
"predicate" |
public static final java.lang.String |
RELATION_DEFINITION |
"relation" |
public static final java.lang.String |
SUB |
"sub" |
public static final java.lang.String |
SUPPORTS |
"supports" |
public static final java.lang.String |
TRUE |
"true" |
public static final java.lang.String |
WEIGHTED |
"weighted" |
public static final java.lang.String |
WEIGHTEDSUM |
"weightedsum" |
public static final java.lang.String |
WSUM |
"wsum" |
public static final java.lang.String |
XOR |
"xor" |