Uses of Interface
org.chocosolver.solver.expression.discrete.relational.ReExpression
-
-
Uses of ReExpression in org.chocosolver.solver.expression.discrete.arithmetic
Methods in org.chocosolver.solver.expression.discrete.arithmetic that return ReExpression Modifier and Type Method Description default ReExpression
ArExpression. eq(int y)
default ReExpression
ArExpression. eq(ArExpression y)
default ReExpression
ArExpression. eq(ArExpression... ys)
default ReExpression
ArExpression. ge(int y)
default ReExpression
ArExpression. ge(ArExpression y)
default ReExpression
ArExpression. gt(int y)
default ReExpression
ArExpression. gt(ArExpression y)
default ReExpression
ArExpression. le(int y)
default ReExpression
ArExpression. le(ArExpression y)
default ReExpression
ArExpression. lt(int y)
default ReExpression
ArExpression. lt(ArExpression y)
default ReExpression
ArExpression. ne(int y)
default ReExpression
ArExpression. ne(ArExpression y)
Constructors in org.chocosolver.solver.expression.discrete.arithmetic with parameters of type ReExpression Constructor Description IfArExpression(ReExpression b, ArExpression y1, ArExpression y2)
-
Uses of ReExpression in org.chocosolver.solver.expression.discrete.logical
Classes in org.chocosolver.solver.expression.discrete.logical that implement ReExpression Modifier and Type Class Description class
BiLoExpression
Binary arithmetic expressionclass
LoExpression
Project: choco-solver.class
NaLoExpression
Binary arithmetic expressionclass
UnLoExpression
Binary arithmetic expressionConstructors in org.chocosolver.solver.expression.discrete.logical with parameters of type ReExpression Constructor Description BiLoExpression(LoExpression.Operator op, ReExpression e1, ReExpression e2)
Builds a n-ary expressionNaLoExpression(LoExpression.Operator op, ReExpression... es)
Builds a n-ary expressionNaLoExpression(LoExpression.Operator op, ReExpression e, ReExpression... es)
Builds a n-ary expressionUnLoExpression(LoExpression.Operator op, ReExpression e)
Builds a n-ary expression -
Uses of ReExpression in org.chocosolver.solver.expression.discrete.relational
Classes in org.chocosolver.solver.expression.discrete.relational that implement ReExpression Modifier and Type Class Description class
BiReExpression
Binary relational expressionclass
NaReExpression
Binary relational expressionMethods in org.chocosolver.solver.expression.discrete.relational that return ReExpression Modifier and Type Method Description default ReExpression
ReExpression. and(ReExpression... y)
default ReExpression
ReExpression. iff(ReExpression... y)
default ReExpression
ReExpression. imp(ReExpression y)
default ReExpression
ReExpression. not()
default ReExpression
ReExpression. or(ReExpression... y)
default ReExpression
ReExpression. xor(ReExpression... y)
Methods in org.chocosolver.solver.expression.discrete.relational with parameters of type ReExpression Modifier and Type Method Description default ReExpression
ReExpression. and(ReExpression... y)
default ReExpression
ReExpression. iff(ReExpression... y)
default ReExpression
ReExpression. imp(ReExpression y)
default ReExpression
ReExpression. or(ReExpression... y)
default ReExpression
ReExpression. xor(ReExpression... y)
-
Uses of ReExpression in org.chocosolver.solver.variables
Subinterfaces of ReExpression in org.chocosolver.solver.variables Modifier and Type Interface Description interface
BoolVar
CPRU r544: remove default implementation -
Uses of ReExpression in org.chocosolver.solver.variables.impl
Classes in org.chocosolver.solver.variables.impl that implement ReExpression Modifier and Type Class Description class
BoolVarImpl
class
FixedBoolVarImpl
A constant view specific to boolean variable -
Uses of ReExpression in org.chocosolver.solver.variables.view
Classes in org.chocosolver.solver.variables.view that implement ReExpression Modifier and Type Class Description class
BoolNotView
A view for boolean variable, that enforce not(b).class
EqView
declare an BoolVar based on X and C, such as (X = C) is reified by this.class
IntBoolView
An abstract class for boolean views overIntVar
.class
LeqView
declare an BoolVar based on X and C, such as (X <= C) is reified by this.
-