Interface CReExpression
-
- All Known Implementing Classes:
BiCReExpression
public interface CReExpression
relational expression over continuous variablesProject: choco-solver.
- Since:
- 28/04/2016.
- Author:
- Charles Prud'homme
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static class
CReExpression.Operator
List of available operator for relational expression
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Constraint
ibex(double p)
-
-
-
Method Detail
-
ibex
Constraint ibex(double p)
- 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.
-
-