All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
Expression |
abs() |
Expression |
add(Expression x) |
static Expression |
add(Expression[] xs) |
Expression |
add(int x) |
static Expression |
add(java.util.List<Expression> xs) |
static Expression |
alldifferent(Expression x) |
Expression |
and(Expression x) |
static void |
appendString(java.lang.StringBuilder sb,
int[] xs) |
static void |
appendString(java.lang.StringBuilder sb,
IntegerVariable[] xs) |
static void |
clear() |
static Expression |
count(Expression x,
Expression y,
Expression z,
Expression w) |
static Expression |
create(Expression x0) |
static Expression |
create(Expression[] expressions) |
static Expression |
create(Expression x0,
Expression x1) |
static Expression |
create(Expression x,
Expression[] xs) |
static Expression |
create(Expression x0,
Expression x1,
Expression x2) |
static Expression |
create(Expression x0,
Expression x1,
Expression x2,
Expression x3) |
static Expression |
create(Expression x0,
Expression x1,
Expression x2,
Expression x3,
Expression x4) |
static Expression |
create(Expression x,
java.util.List<Expression> xs) |
static Expression |
create(int i) |
static Expression |
create(java.util.List<Expression> expressions) |
static Expression |
create(java.lang.String token) |
static Expression |
cumulative(Expression x,
Expression y) |
static Expression |
cumulative(Expression x,
int y) |
static Expression |
disjunctive(Expression x) |
Expression |
div(Expression x) |
Expression |
div(int x) |
static Expression |
element(Expression x,
Expression y,
Expression z) |
Expression |
eq(Expression x) |
Expression |
eq(int x) |
Expression |
ge(Expression x) |
Expression |
ge(int x) |
java.lang.String |
getComment() |
static Expression |
global_cardinality_with_costs(Expression x,
Expression y,
Expression z,
Expression w) |
static Expression |
global_cardinality_with_costs(Expression x,
Expression y,
Expression z,
int w) |
static Expression |
global_cardinality(Expression x,
Expression y) |
Expression |
gt(Expression x) |
Expression |
gt(int x) |
Expression |
hold() |
Expression |
iff(Expression x) |
Expression |
ifThenElse(Expression x,
Expression y) |
Expression |
ifThenElse(Expression x,
int y) |
Expression |
ifThenElse(int x,
Expression y) |
Expression |
ifThenElse(int x,
int y) |
Expression |
imp(Expression x) |
java.lang.Integer |
integerValue() |
boolean |
isAtom() |
static boolean |
isComparison(Expression x) |
static boolean |
isGlobalConstraint(Expression x) |
boolean |
isInteger() |
static boolean |
isLogical(Expression x) |
static boolean |
isOperator(Expression x) |
boolean |
isSequence() |
boolean |
isSequence(Expression x) |
boolean |
isSequence(int arity) |
boolean |
isString() |
boolean |
isString(java.lang.String s) |
Expression |
le(Expression x) |
Expression |
le(int x) |
static Expression |
lex_less(Expression x,
Expression y) |
static Expression |
lex_lesseq(Expression x,
Expression y) |
Expression |
lt(Expression x) |
Expression |
lt(int x) |
boolean |
matches(Expression pattern) |
Expression |
max(Expression x) |
Expression |
max(int x) |
Expression |
min(Expression x) |
Expression |
min(int x) |
Expression |
mod(Expression x) |
Expression |
mod(int x) |
Expression |
mul(Expression x) |
Expression |
mul(int x) |
Expression |
ne(Expression x) |
Expression |
ne(int x) |
Expression |
neg() |
Expression |
not() |
static Expression |
nvalue(Expression x,
Expression y) |
static Expression |
nvalue(int x,
Expression y) |
Expression |
or(Expression x) |
void |
setComment(java.lang.String comment) |
java.lang.String |
stringValue() |
Expression |
sub(Expression x) |
Expression |
sub(int x) |
static Expression |
weightedsum(Expression x,
Expression y,
Expression z) |
static Expression |
weightedsum(Expression x,
Expression y,
int z) |
Expression |
xor(Expression x) |