jp.ac.kobe_u.cs.sugar
Class SugarConstants
java.lang.Object
jp.ac.kobe_u.cs.sugar.SugarConstants
public class SugarConstants
- extends Object
SugarConstants defines string constants of CSP symbols.
DOMAIN_DEFINITION
public static final String DOMAIN_DEFINITION
- See Also:
- Constant Field Values
INT_DEFINITION
public static final String INT_DEFINITION
- See Also:
- Constant Field Values
BOOL_DEFINITION
public static final String BOOL_DEFINITION
- See Also:
- Constant Field Values
PREDICATE_DEFINITION
public static final String PREDICATE_DEFINITION
- See Also:
- Constant Field Values
RELATION_DEFINITION
public static final String RELATION_DEFINITION
- See Also:
- Constant Field Values
OBJECTIVE_DEFINITION
public static final String OBJECTIVE_DEFINITION
- See Also:
- Constant Field Values
MINIMIZE
public static final String MINIMIZE
- See Also:
- Constant Field Values
MAXIMIZE
public static final String MAXIMIZE
- See Also:
- Constant Field Values
SUPPORTS
public static final String SUPPORTS
- See Also:
- Constant Field Values
CONFLICTS
public static final String CONFLICTS
- See Also:
- Constant Field Values
FALSE
public static final String FALSE
- See Also:
- Constant Field Values
TRUE
public static final String TRUE
- See Also:
- Constant Field Values
NOT
public static final String NOT
- See Also:
- Constant Field Values
AND
public static final String AND
- See Also:
- Constant Field Values
OR
public static final String OR
- See Also:
- Constant Field Values
IMP
public static final String IMP
- See Also:
- Constant Field Values
XOR
public static final String XOR
- See Also:
- Constant Field Values
IFF
public static final String IFF
- See Also:
- Constant Field Values
EQ
public static final String EQ
- See Also:
- Constant Field Values
NE
public static final String NE
- See Also:
- Constant Field Values
LE
public static final String LE
- See Also:
- Constant Field Values
LT
public static final String LT
- See Also:
- Constant Field Values
GE
public static final String GE
- See Also:
- Constant Field Values
GT
public static final String GT
- See Also:
- Constant Field Values
NEG
public static final String NEG
- See Also:
- Constant Field Values
ABS
public static final String ABS
- See Also:
- Constant Field Values
ADD
public static final String ADD
- See Also:
- Constant Field Values
SUB
public static final String SUB
- See Also:
- Constant Field Values
MUL
public static final String MUL
- See Also:
- Constant Field Values
DIV
public static final String DIV
- See Also:
- Constant Field Values
MOD
public static final String MOD
- See Also:
- Constant Field Values
POW
public static final String POW
- See Also:
- Constant Field Values
MIN
public static final String MIN
- See Also:
- Constant Field Values
MAX
public static final String MAX
- See Also:
- Constant Field Values
IF
public static final String IF
- See Also:
- Constant Field Values
ALLDIFFERENT
public static final String ALLDIFFERENT
- See Also:
- Constant Field Values
WEIGHTEDSUM
public static final String WEIGHTEDSUM
- See Also:
- Constant Field Values
CUMULATIVE
public static final String CUMULATIVE
- See Also:
- Constant Field Values
ELEMENT
public static final String ELEMENT
- See Also:
- Constant Field Values
NIL
public static final String NIL
- See Also:
- Constant Field Values
SugarConstants
public SugarConstants()
Sugar: A SAT-based Constraint Solver