- All Known Implementing Classes:
public interface CReExpressionrelational expression over continuous variables
- Charles Prud'homme
Constraint ibex(double p)
p- the precision to consider when creating intermediate variable is needed
- the topmost constraint representing the expression. If needed, a call to this method creates additional variables and posts additional constraints.