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(List<Expression> xs) |
static Expression |
alldifferent(Expression x) |
Expression |
and(Expression x) |
static void |
appendString(StringBuilder sb,
int[] xs) |
static void |
appendString(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,
List<Expression> xs) |
static Expression |
create(int i) |
static Expression |
create(List<Expression> expressions) |
static Expression |
create(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) |
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) |
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(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(String comment) |
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) |