Module org.chocosolver
Class BiCReExpression
- java.lang.Object
-
- org.chocosolver.solver.expression.continuous.relational.BiCReExpression
-
- All Implemented Interfaces:
CReExpression
public class BiCReExpression extends Object implements CReExpression
Binary relational expression over continuous expressionsProject: choco-solver.
- Since:
- 28/04/2016.
- Author:
- Charles Prud'homme
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.chocosolver.solver.expression.continuous.relational.CReExpression
CReExpression.Operator
-
-
Constructor Summary
Constructors Constructor Description BiCReExpression(CReExpression.Operator op, CArExpression e1, CArExpression e2)
Builds a binary expression
-
-
-
Constructor Detail
-
BiCReExpression
public BiCReExpression(CReExpression.Operator op, CArExpression e1, CArExpression e2)
Builds a binary expression- Parameters:
op
- an operatore1
- an expressione2
- an expression
-
-
Method Detail
-
ibex
public Constraint ibex(double p)
- Specified by:
ibex
in interfaceCReExpression
- Parameters:
p
- the precision to consider when creating intermediate variable is needed- Returns:
- the topmost constraint representing the expression. If needed, a call to this method creates additional variables and posts additional constraints.
-
-