Class LoExpression

    • Field Detail

      • model

        protected final Model model
        The model in which the expression is declared
      • me

        protected BoolVar me
        Lazy creation of the underlying variable
    • Method Detail

      • boolVar

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