public abstract class ReExpression extends Object implements ArExpression
Project: choco-solver.
Modifier and Type | Class and Description |
---|---|
static class |
ReExpression.Operator
List of available operator for relational expression
|
NO_CHILD
Constructor and Description |
---|
ReExpression() |
Modifier and Type | Method and Description |
---|---|
ReExpression |
and(ReExpression... y) |
abstract boolean |
beval(int[] values,
Map<IntVar,Integer> map) |
abstract BoolVar |
boolVar() |
abstract Constraint |
decompose() |
Constraint |
extension() |
abstract void |
extractVar(HashSet<IntVar> variables)
Extract the variables from this expression
|
abstract Model |
getModel()
Return the associated model
|
int |
ieval(int[] values,
Map<IntVar,Integer> map) |
ReExpression |
iff(ReExpression... y) |
ReExpression |
imp(ReExpression y) |
IntVar |
intVar() |
ReExpression |
not() |
ReExpression |
or(ReExpression... y) |
void |
post()
Post the decomposition of this expression in the solver
|
ReExpression |
xor(ReExpression y) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
abs, add, add, add, dist, dist, div, div, eq, eq, eq, ge, ge, getExpressionChild, gt, gt, isExpressionLeaf, le, le, lt, lt, max, max, max, min, min, min, mod, mod, mul, mul, mul, ne, ne, neg, pow, pow, sqr, sub, sub
public abstract Model getModel()
getModel
in interface ArExpression
public abstract BoolVar boolVar()
BoolVar
.
If necessary, it creates intermediary variable and posts intermediary constraintspublic IntVar intVar()
intVar
in interface ArExpression
IntVar
.
If necessary, it creates intermediary variable and posts intermediary constraintspublic abstract void extractVar(HashSet<IntVar> variables)
extractVar
in interface ArExpression
variables
- set of variablespublic void post()
public abstract Constraint decompose()
public final Constraint extension()
public int ieval(int[] values, Map<IntVar,Integer> map)
ieval
in interface ArExpression
values
- int values to evaluatemap
- mapping between variables of the topmost expression and position in valuespublic final ReExpression and(ReExpression... y)
y
- some relational expressionspublic final ReExpression or(ReExpression... y)
y
- some relational expressionspublic final ReExpression xor(ReExpression y)
y
- a relational expressionpublic final ReExpression imp(ReExpression y)
y
- a relational expressionpublic final ReExpression iff(ReExpression... y)
y
- a relational expressionpublic final ReExpression not()
Copyright © 2017. All rights reserved.