Class BiCReExpression

  • All Implemented Interfaces:
    CReExpression

    public class BiCReExpression
    extends Object
    implements CReExpression
    Binary relational expression over continuous expressions

    Project: choco-solver.

    Since:
    28/04/2016.
    Author:
    Charles Prud'homme
    • Method Detail

      • ibex

        public Constraint ibex​(double p)
        Specified by:
        ibex in interface CReExpression
        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.