Class ComparisonConstraints

    • Constructor Detail

      • ComparisonConstraints

        public ComparisonConstraints​(Support support)
    • Method Detail

      • gen_bool_eq

        void gen_bool_eq​(SimpleNode node)
      • gen_bool_eq_reif

        void gen_bool_eq_reif​(SimpleNode node)
      • gen_bool_eq_imp

        void gen_bool_eq_imp​(SimpleNode node)
      • gen_bool_ne

        void gen_bool_ne​(SimpleNode node)
      • gen_bool_ne_reif

        void gen_bool_ne_reif​(SimpleNode node)
      • gen_bool_ne_imp

        void gen_bool_ne_imp​(SimpleNode node)
      • gen_bool_le

        void gen_bool_le​(SimpleNode node)
      • gen_bool_le_reif

        void gen_bool_le_reif​(SimpleNode node)
      • gen_bool_le_imp

        void gen_bool_le_imp​(SimpleNode node)
      • gen_bool_lt

        void gen_bool_lt​(SimpleNode node)
      • gen_bool_lt_reif

        void gen_bool_lt_reif​(SimpleNode node)
      • gen_bool_lt_imp

        void gen_bool_lt_imp​(SimpleNode node)
      • gen_bool_gt_imp

        void gen_bool_gt_imp​(SimpleNode node)
      • gen_bool_ge_imp

        void gen_bool_ge_imp​(SimpleNode node)
      • gen_int_eq

        void gen_int_eq​(SimpleNode node)
      • gen_int_eq_reif

        void gen_int_eq_reif​(SimpleNode node)
      • gen_int_eq_imp

        void gen_int_eq_imp​(SimpleNode node)
      • gen_int_ne

        void gen_int_ne​(SimpleNode node)
      • gen_int_ne_reif

        void gen_int_ne_reif​(SimpleNode node)
      • gen_int_ne_imp

        void gen_int_ne_imp​(SimpleNode node)
      • gen_int_le

        void gen_int_le​(SimpleNode node)
      • gen_int_le_reif

        void gen_int_le_reif​(SimpleNode node)
      • gen_int_le_imp

        void gen_int_le_imp​(SimpleNode node)
      • gen_int_lt

        void gen_int_lt​(SimpleNode node)
      • gen_int_lt_reif

        void gen_int_lt_reif​(SimpleNode node)
      • gen_int_lt_imp

        void gen_int_lt_imp​(SimpleNode node)
      • gen_int_gt_imp

        void gen_int_gt_imp​(SimpleNode node)
      • gen_int_ge_imp

        void gen_int_ge_imp​(SimpleNode node)
      • int_comparison

        void int_comparison​(int operation,
                            SimpleNode node)
      • int_comparison_reif

        void int_comparison_reif​(int operation,
                                 SimpleNode node)
      • int_comparison_imp

        void int_comparison_imp​(int operation,
                                SimpleNode node)
      • generateForEqC

        boolean generateForEqC​(IntVar v1,
                               int i2,
                               IntVar b)
      • generateForNeqC

        boolean generateForNeqC​(IntVar v1,
                                int i2,
                                IntVar b)
      • binaryVar

        boolean binaryVar​(IntVar v)