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
    • 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.