Class NaReExpression

  • All Implemented Interfaces:
    ArExpression, ReExpression

    public class NaReExpression
    extends Object
    implements ReExpression
    Binary relational expression

    Project: choco-solver.

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

      • boolVar

        public BoolVar boolVar()
        Specified by:
        boolVar in interface ReExpression
        Returns:
        the relational expression as an BoolVar. If necessary, it creates intermediary variable and posts intermediary constraints
      • decompose

        public Constraint decompose()
        Specified by:
        decompose in interface ReExpression
        Returns:
        the topmost constraint representing the expression. If needed, a call to this method creates additional variables and posts additional constraints.
      • beval

        public boolean beval​(int[] values,
                             Map<IntVar,​Integer> map)
        Specified by:
        beval in interface ReExpression
        Parameters:
        values - int values to evaluate
        map - mapping between variables of the topmost expression and position in values
        Returns:
        an evaluation of this relational expression based on a tuple