Class LinearConstraints

    • Constructor Detail

      • LinearConstraints

        public LinearConstraints​(Support support)
    • Method Detail

      • gen_bool_lin_eq

        void gen_bool_lin_eq​(SimpleNode node)
      • gen_int_lin_eq

        void gen_int_lin_eq​(SimpleNode node)
      • gen_int_lin_eq_reif

        void gen_int_lin_eq_reif​(SimpleNode node)
      • gen_int_lin_eq_imp

        void gen_int_lin_eq_imp​(SimpleNode node)
      • gen_int_lin_ne

        void gen_int_lin_ne​(SimpleNode node)
      • gen_int_lin_ne_reif

        void gen_int_lin_ne_reif​(SimpleNode node)
      • gen_int_lin_ne_imp

        void gen_int_lin_ne_imp​(SimpleNode node)
      • gen_int_lin_lt

        void gen_int_lin_lt​(SimpleNode node)
      • gen_int_lin_lt_reif

        void gen_int_lin_lt_reif​(SimpleNode node)
      • gen_int_lin_lt_imp

        void gen_int_lin_lt_imp​(SimpleNode node)
      • gen_int_lin_le

        void gen_int_lin_le​(SimpleNode node)
      • gen_int_lin_le_reif

        void gen_int_lin_le_reif​(SimpleNode node)
      • gen_int_lin_le_imp

        void gen_int_lin_le_imp​(SimpleNode node)
      • gen_int_lin_gt_imp

        void gen_int_lin_gt_imp​(SimpleNode node)
      • gen_int_lin_ge_imp

        void gen_int_lin_ge_imp​(SimpleNode node)
      • allPositive

        boolean allPositive​(int[] ws)
      • allNonPositive

        boolean allNonPositive​(int[] ws)
      • allConstants

        boolean allConstants​(IntVar[] p)
      • allWeightsOne

        boolean allWeightsOne​(int[] w)
      • allWeightsMinusOne

        boolean allWeightsMinusOne​(int[] w)
      • boolSum

        boolean boolSum​(IntVar[] vs)
      • sumPossible

        int sumPossible​(int[] ws,
                        int result)
      • sumPossible

        int sumPossible​(int[] ws)
      • sumLePossible

        int sumLePossible​(int[] ws,
                          int result)
      • sumGePossible

        int sumGePossible​(int[] ws,
                          int result)
      • paramZero

        boolean paramZero​(IntVar v)
      • binaryVar

        boolean binaryVar​(IntVar v)