Class AndBool

    • Constructor Detail

      • AndBool

        public AndBool​(IntVar[] a,
                       IntVar result)
        It constructs and constraint on variables.
        Parameters:
        a - parameters variable.
        result - variable.
      • AndBool

        public AndBool​(java.util.List<IntVar> a,
                       IntVar result)
        It constructs and constraint on variables.
        Parameters:
        a - parameters variable.
        result - variable.
      • AndBool

        public AndBool​(IntVar a,
                       IntVar b,
                       IntVar result)
        It constructs and constraint on variables.
        Parameters:
        a - parameter variable.
        b - parameter variable.
        result - variable.
    • Method Detail

      • decompose

        public java.util.List<PrimitiveConstraint> decompose​(Store store)
        Description copied from class: DecomposedConstraint
        It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.
        Specified by:
        decompose in class DecomposedConstraint<PrimitiveConstraint>
        Parameters:
        store - the constraint store in which context the decomposition takes place.
        Returns:
        an array list of constraints used to decompose this constraint.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object