Class OrBool

    • Constructor Detail

      • OrBool

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

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

        public OrBool​(IntVar a,
                      IntVar b,
                      IntVar result)
        It constructs and constraint on variables.
        Parameters:
        a - a parameter
        b - b parameter
        result - 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