|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RealExp | |
---|---|
choco.cp.model.managers | return new ComponentConstraint(ConstraintType.ALLDIFFERENT, null, vars); * soit un type => dans ce cas il faut mettre ? |
choco.cp.model.managers.operators | |
choco.cp.solver | |
choco.cp.solver.constraints.real | |
choco.cp.solver.constraints.real.exp | |
choco.cp.solver.variables.real | |
choco.kernel.model | The root package for the Constraint Programming Kernel. |
choco.kernel.solver.constraints.real | A package devoted continuous constraints. |
choco.kernel.solver.constraints.real.exp | A package devoted real expression, that is composition of operators over real variables. |
choco.kernel.solver.variables.real | A package devoted to contiinuous domains and variables. |
Uses of RealExp in choco.cp.model.managers |
---|
Methods in choco.cp.model.managers that return RealExp | |
---|---|
RealExp |
RealConstraintManager.getRealExp(Solver s,
Variable rev)
|
abstract RealExp |
RealConstraintManager.makeRealExpression(Solver solver,
Variable... vars)
Build a expression node |
Uses of RealExp in choco.cp.model.managers.operators |
---|
Methods in choco.cp.model.managers.operators that return RealExp | |
---|---|
RealExp |
SinManager.makeRealExpression(Solver solver,
Variable... vars)
Build a real expression |
RealExp |
PowerManager.makeRealExpression(Solver solver,
Variable... vars)
Build a real expression |
RealExp |
PlusManager.makeRealExpression(Solver solver,
Variable... vars)
Build a real expression |
RealExp |
MultManager.makeRealExpression(Solver solver,
Variable... vars)
Build a real expression |
RealExp |
MinusManager.makeRealExpression(Solver solver,
Variable... vars)
Build a real expression |
RealExp |
CosManager.makeRealExpression(Solver solver,
Variable... vars)
Build a real expression |
Uses of RealExp in choco.cp.solver |
---|
Methods in choco.cp.solver that return RealExp | |
---|---|
RealExp |
CPSolver.cos(RealExp exp)
Cosinus of an expression. |
protected RealExp |
CPSolver.createRealCos(RealExp exp)
|
protected RealExp |
CPSolver.createRealIntegerPower(RealExp exp,
int power)
|
protected RealExp |
CPSolver.createRealMinus(RealExp exp1,
RealExp exp2)
|
protected RealExp |
CPSolver.createRealMult(RealExp exp1,
RealExp exp2)
|
protected RealExp |
CPSolver.createRealPlus(RealExp exp1,
RealExp exp2)
|
protected RealExp |
CPSolver.createRealSin(RealExp exp)
|
RealExp |
CPSolver.minus(RealExp exp1,
RealExp exp2)
Substraction of two expressions. |
RealExp |
CPSolver.mult(RealExp exp1,
RealExp exp2)
Multiplication of two expressions. |
RealExp |
CPSolver.plus(RealExp exp1,
RealExp exp2)
Addition of two expressions. |
RealExp |
CPSolver.power(RealExp exp,
int power)
Power of an expression. |
RealExp |
CPSolver.sin(RealExp exp)
Sinus of an expression. |
Methods in choco.cp.solver with parameters of type RealExp | |
---|---|
RealExp |
CPSolver.cos(RealExp exp)
Cosinus of an expression. |
protected SConstraint |
CPSolver.createEquation(RealVar[] tmpVars,
RealExp exp,
RealIntervalConstant cst)
|
protected RealExp |
CPSolver.createRealCos(RealExp exp)
|
protected RealExp |
CPSolver.createRealIntegerPower(RealExp exp,
int power)
|
protected RealExp |
CPSolver.createRealMinus(RealExp exp1,
RealExp exp2)
|
protected RealExp |
CPSolver.createRealMult(RealExp exp1,
RealExp exp2)
|
protected RealExp |
CPSolver.createRealPlus(RealExp exp1,
RealExp exp2)
|
protected RealExp |
CPSolver.createRealSin(RealExp exp)
|
SConstraint |
CPSolver.eq(double cst,
RealExp exp)
|
SConstraint |
CPSolver.eq(RealExp exp,
double cst)
|
SConstraint |
CPSolver.eq(RealExp exp1,
RealExp exp2)
Equality constraint. |
SConstraint |
CPSolver.geq(double cst,
RealExp exp)
|
SConstraint |
CPSolver.geq(RealExp exp,
double cst)
|
SConstraint |
CPSolver.geq(RealExp exp1,
RealExp exp2)
Superiority constraint. |
SConstraint |
CPSolver.leq(double cst,
RealExp exp)
|
SConstraint |
CPSolver.leq(RealExp exp,
double cst)
|
SConstraint |
CPSolver.leq(RealExp exp1,
RealExp exp2)
Inferority constraint. |
SConstraint |
CPSolver.makeEquation(RealExp exp,
RealIntervalConstant cst)
Makes an equation from an expression and a constant interval. |
RealExp |
CPSolver.minus(RealExp exp1,
RealExp exp2)
Substraction of two expressions. |
RealExp |
CPSolver.mult(RealExp exp1,
RealExp exp2)
Multiplication of two expressions. |
RealExp |
CPSolver.plus(RealExp exp1,
RealExp exp2)
Addition of two expressions. |
RealExp |
CPSolver.power(RealExp exp,
int power)
Power of an expression. |
RealExp |
CPSolver.sin(RealExp exp)
Sinus of an expression. |
Uses of RealExp in choco.cp.solver.constraints.real |
---|
Constructors in choco.cp.solver.constraints.real with parameters of type RealExp | |
---|---|
Equation(Solver solver,
RealVar[] collectedVars,
RealExp exp)
|
|
Equation(Solver solver,
RealVar[] collectedVars,
RealExp exp,
RealInterval cste)
|
Uses of RealExp in choco.cp.solver.constraints.real.exp |
---|
Classes in choco.cp.solver.constraints.real.exp that implement RealExp | |
---|---|
class |
RealCos
Expression evaluatiing the cos of its only one sub-expression. |
class |
RealIntegerPower
|
class |
RealMinus
An expression modelling a substraction. |
class |
RealMult
An expression modelling a multiplication. |
class |
RealPlus
An expression modelling a real addition. |
class |
RealSin
Expression evaluatiing the cos of its only one sub-expression. |
Constructors in choco.cp.solver.constraints.real.exp with parameters of type RealExp | |
---|---|
RealCos(Solver solver,
RealExp exp1)
|
|
RealIntegerPower(Solver solver,
RealExp exp1,
int power)
|
|
RealMinus(Solver solver,
RealExp exp1,
RealExp exp2)
|
|
RealMult(Solver solver,
RealExp exp1,
RealExp exp2)
|
|
RealPlus(Solver solver,
RealExp exp1,
RealExp exp2)
Builds an addition expression for real constraint modelling. |
|
RealSin(Solver solver,
RealExp exp1)
|
Uses of RealExp in choco.cp.solver.variables.real |
---|
Classes in choco.cp.solver.variables.real that implement RealExp | |
---|---|
class |
RealVarImpl<C extends AbstractSConstraint & RealPropagator>
An implementation of real variables using RealDomain domains. |
Methods in choco.cp.solver.variables.real that return types with arguments of type RealExp | |
---|---|
List<RealExp> |
RealVarImpl.subExps(List<RealExp> l)
|
Method parameters in choco.cp.solver.variables.real with type arguments of type RealExp | |
---|---|
boolean |
RealVarImpl.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
boolean |
RealVarImpl.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
List<RealExp> |
RealVarImpl.subExps(List<RealExp> l)
|
Uses of RealExp in choco.kernel.model |
---|
Methods in choco.kernel.model that return RealExp | |
---|---|
RealExp |
RealModeler.cos(RealExp exp)
Cosinus of an expression. |
RealExp |
RealModeler.minus(RealExp exp1,
RealExp exp2)
Substraction of two expressions. |
RealExp |
RealModeler.mult(RealExp exp1,
RealExp exp2)
Multiplication of two expressions. |
RealExp |
RealModeler.plus(RealExp exp1,
RealExp exp2)
Addition of two expressions. |
RealExp |
RealModeler.power(RealExp exp,
int power)
Power of an expression. |
RealExp |
RealModeler.sin(RealExp exp)
Sinus of an expression. |
Methods in choco.kernel.model with parameters of type RealExp | |
---|---|
RealExp |
RealModeler.cos(RealExp exp)
Cosinus of an expression. |
SConstraint |
RealModeler.eq(double cst,
RealExp exp)
|
SConstraint |
RealModeler.eq(RealExp exp,
double cst)
|
SConstraint |
RealModeler.eq(RealExp exp1,
RealExp exp2)
Eqality constraint. |
SConstraint |
RealModeler.geq(double cst,
RealExp exp)
|
SConstraint |
RealModeler.geq(RealExp exp,
double cst)
|
SConstraint |
RealModeler.geq(RealExp exp1,
RealExp exp2)
Superiority constraint. |
SConstraint |
RealModeler.leq(double cst,
RealExp exp)
|
SConstraint |
RealModeler.leq(RealExp exp,
double cst)
|
SConstraint |
RealModeler.leq(RealExp exp1,
RealExp exp2)
Inferority constraint. |
SConstraint |
RealModeler.makeEquation(RealExp exp,
RealConstant cst)
Makes an equation from an expression and a constantt interval. |
RealExp |
RealModeler.minus(RealExp exp1,
RealExp exp2)
Substraction of two expressions. |
RealExp |
RealModeler.mult(RealExp exp1,
RealExp exp2)
Multiplication of two expressions. |
RealExp |
RealModeler.plus(RealExp exp1,
RealExp exp2)
Addition of two expressions. |
RealExp |
RealModeler.power(RealExp exp,
int power)
Power of an expression. |
RealExp |
RealModeler.sin(RealExp exp)
Sinus of an expression. |
Uses of RealExp in choco.kernel.solver.constraints.real |
---|
Methods in choco.kernel.solver.constraints.real that return types with arguments of type RealExp | |
---|---|
List<RealExp> |
RealExp.subExps(List<RealExp> l)
Computes recursively the sub expressions (avoids to tighten and project recursively). |
Method parameters in choco.kernel.solver.constraints.real with type arguments of type RealExp | |
---|---|
boolean |
RealExp.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
Isolates sub terms depending or not on a variable x. |
boolean |
RealExp.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
Isolates sub terms depending or not on a variable x. |
List<RealExp> |
RealExp.subExps(List<RealExp> l)
Computes recursively the sub expressions (avoids to tighten and project recursively). |
Uses of RealExp in choco.kernel.solver.constraints.real.exp |
---|
Classes in choco.kernel.solver.constraints.real.exp that implement RealExp | |
---|---|
class |
AbstractRealBinTerm
A binary real expression. |
class |
AbstractRealCompoundTerm
A compound expression depending on other terms. |
class |
AbstractRealUnTerm
|
Fields in choco.kernel.solver.constraints.real.exp declared as RealExp | |
---|---|
protected RealExp |
AbstractRealUnTerm.exp1
|
protected RealExp |
AbstractRealBinTerm.exp1
|
protected RealExp |
AbstractRealBinTerm.exp2
|
Methods in choco.kernel.solver.constraints.real.exp that return types with arguments of type RealExp | |
---|---|
List<RealExp> |
AbstractRealUnTerm.subExps(List<RealExp> l)
|
List<RealExp> |
AbstractRealBinTerm.subExps(List<RealExp> l)
|
Method parameters in choco.kernel.solver.constraints.real.exp with type arguments of type RealExp | |
---|---|
boolean |
AbstractRealUnTerm.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
boolean |
AbstractRealUnTerm.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
boolean |
AbstractRealBinTerm.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
boolean |
AbstractRealBinTerm.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
List<RealExp> |
AbstractRealUnTerm.subExps(List<RealExp> l)
|
List<RealExp> |
AbstractRealBinTerm.subExps(List<RealExp> l)
|
Constructors in choco.kernel.solver.constraints.real.exp with parameters of type RealExp | |
---|---|
AbstractRealBinTerm(Solver solver,
RealExp exp1,
RealExp exp2)
|
|
AbstractRealUnTerm(Solver solver,
RealExp exp1)
|
Uses of RealExp in choco.kernel.solver.variables.real |
---|
Subinterfaces of RealExp in choco.kernel.solver.variables.real | |
---|---|
interface |
RealConstant
|
interface |
RealVar
An interface for a real variable : an expression and a variable with a domain. |
Classes in choco.kernel.solver.variables.real that implement RealExp | |
---|---|
class |
RealIntervalConstant
A constant real interval. |
Methods in choco.kernel.solver.variables.real that return types with arguments of type RealExp | |
---|---|
List<RealExp> |
RealIntervalConstant.subExps(List<RealExp> l)
|
Method parameters in choco.kernel.solver.variables.real with type arguments of type RealExp | |
---|---|
boolean |
RealIntervalConstant.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
boolean |
RealIntervalConstant.isolate(RealVar var,
List<RealExp> wx,
List<RealExp> wox)
|
List<RealExp> |
RealIntervalConstant.subExps(List<RealExp> l)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |