Uses of Interface
choco.kernel.solver.constraints.real.RealExp

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)
           
 



Copyright © 2012. All Rights Reserved.