org.chocosolver.solver.expression.continuous.relational

Interface CReExpression

All Known Implementing Classes:

BiCReExpression

public interface CReExpression

relational expression over continuous variables

Project: choco-solver.

Since:

28/04/2016.

Author:

Charles Prud'homme

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	CReExpression.Operator List of available operator for relational expression

Method Summary

Modifier and Type	Method and 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.