jp.ac.kobe_u.cs.sugar.expression
Class Expression
java.lang.Object
jp.ac.kobe_u.cs.sugar.expression.Expression
- All Implemented Interfaces:
- Comparable<Expression>
- Direct Known Subclasses:
- Atom, Sequence
public abstract class Expression
- extends Object
- implements Comparable<Expression>
This is an abstract class for expressions.
intern
public static boolean intern
MAX_MAP_SIZE
public static final int MAX_MAP_SIZE
- See Also:
- Constant Field Values
DOMAIN_DEFINITION
public static final Expression DOMAIN_DEFINITION
INT_DEFINITION
public static final Expression INT_DEFINITION
BOOL_DEFINITION
public static final Expression BOOL_DEFINITION
PREDICATE_DEFINITION
public static final Expression PREDICATE_DEFINITION
RELATION_DEFINITION
public static final Expression RELATION_DEFINITION
OBJECTIVE_DEFINITION
public static final Expression OBJECTIVE_DEFINITION
MINIMIZE
public static final Expression MINIMIZE
MAXIMIZE
public static final Expression MAXIMIZE
SUPPORTS
public static final Expression SUPPORTS
CONFLICTS
public static final Expression CONFLICTS
FALSE
public static final Expression FALSE
TRUE
public static final Expression TRUE
NOT
public static final Expression NOT
AND
public static final Expression AND
OR
public static final Expression OR
IMP
public static final Expression IMP
XOR
public static final Expression XOR
IFF
public static final Expression IFF
EQ
public static final Expression EQ
NE
public static final Expression NE
LE
public static final Expression LE
LT
public static final Expression LT
GE
public static final Expression GE
GT
public static final Expression GT
NEG
public static final Expression NEG
ABS
public static final Expression ABS
ADD
public static final Expression ADD
SUB
public static final Expression SUB
MUL
public static final Expression MUL
DIV
public static final Expression DIV
MOD
public static final Expression MOD
POW
public static final Expression POW
MIN
public static final Expression MIN
MAX
public static final Expression MAX
IF
public static final Expression IF
ALLDIFFERENT
public static final Expression ALLDIFFERENT
WEIGHTEDSUM
public static final Expression WEIGHTEDSUM
CUMULATIVE
public static final Expression CUMULATIVE
ELEMENT
public static final Expression ELEMENT
NIL
public static final Expression NIL
ZERO
public static final Expression ZERO
ONE
public static final Expression ONE
Expression
public Expression()
create
public static Expression create(Integer i)
create
public static Expression create(String token)
create
public static Expression create(Expression[] expressions)
create
public static Expression create(List<Expression> expressions)
create
public static Expression create(Expression x0)
create
public static Expression create(Expression x0,
Expression x1)
create
public static Expression create(Expression x0,
Expression x1,
Expression x2)
create
public static Expression create(Expression x0,
Expression x1,
Expression x2,
Expression x3)
clear
public static void clear()
isAtom
public boolean isAtom()
isString
public boolean isString()
isString
public boolean isString(String s)
isInteger
public boolean isInteger()
isSequence
public boolean isSequence()
isSequence
public boolean isSequence(Expression x)
isSequence
public boolean isSequence(int arity)
stringValue
public String stringValue()
integerValue
public Integer integerValue()
getComment
public String getComment()
setComment
public void setComment(String comment)
not
public Expression not()
and
public Expression and(Expression x)
or
public Expression or(Expression x)
imp
public Expression imp(Expression x)
eq
public Expression eq(Expression x)
ne
public Expression ne(Expression x)
le
public Expression le(Expression x)
lt
public Expression lt(Expression x)
ge
public Expression ge(Expression x)
gt
public Expression gt(Expression x)
neg
public Expression neg()
abs
public Expression abs()
add
public Expression add(Expression x)
sub
public Expression sub(Expression x)
mul
public Expression mul(Expression x)
div
public Expression div(Expression x)
mod
public Expression mod(Expression x)
min
public Expression min(Expression x)
max
public Expression max(Expression x)
appendString
public static void appendString(StringBuilder sb,
int[] xs)
appendString
public static void appendString(StringBuilder sb,
Object[] xs)
Sugar: A SAT-based Constraint Solver