Class BiLoExpression

  • All Implemented Interfaces:
    ArExpression, ReExpression

    public class BiLoExpression
    extends LoExpression
    Binary arithmetic expression

    Project: choco-solver.

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

      • boolVar

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

        public void extractVar​(HashSet<IntVar> variables)
        Description copied from interface: ReExpression
        Extract the variables from this expression
        Parameters:
        variables - set of variables
      • decompose

        public Constraint decompose()
        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)
        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