Sugar version 1.13 Core API Specification

jp.ac.kobe_u.cs.sugar
Class SugarConstants

java.lang.Object
  extended by jp.ac.kobe_u.cs.sugar.SugarConstants

public class SugarConstants
extends Object

SugarConstants defines string constants of CSP symbols.


Field Summary
static String ABS
           
static String ADD
           
static String ALLDIFFERENT
           
static String AND
           
static String BOOL_DEFINITION
           
static String CONFLICTS
           
static String CUMULATIVE
           
static String DIV
           
static String DOMAIN_DEFINITION
           
static String ELEMENT
           
static String EQ
           
static String FALSE
           
static String GE
           
static String GT
           
static String IF
           
static String IFF
           
static String IMP
           
static String INT_DEFINITION
           
static String LE
           
static String LT
           
static String MAX
           
static String MAXIMIZE
           
static String MIN
           
static String MINIMIZE
           
static String MOD
           
static String MUL
           
static String NE
           
static String NEG
           
static String NIL
           
static String NOT
           
static String OBJECTIVE_DEFINITION
           
static String OR
           
static String POW
           
static String PREDICATE_DEFINITION
           
static String RELATION_DEFINITION
           
static String SUB
           
static String SUPPORTS
           
static String TRUE
           
static String WEIGHTEDSUM
           
static String XOR
           
 
Constructor Summary
SugarConstants()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

SugarConstants

public SugarConstants()

Sugar version 1.13 Core API Specification

Sugar: A SAT-based Constraint Solver