Class BoolConstraints

    • Constructor Detail

      • BoolConstraints

        public BoolConstraints​(Support support)
    • Method Detail

      • gen_array_bool_and

        void gen_array_bool_and​(SimpleNode node)
      • gen_array_bool_and_imp

        void gen_array_bool_and_imp​(SimpleNode node)
      • gen_bool_and

        void gen_bool_and​(SimpleNode node)
      • gen_bool_and_imp

        void gen_bool_and_imp​(SimpleNode node)
      • gen_array_bool_or

        void gen_array_bool_or​(SimpleNode node)
      • gen_array_bool_or_imp

        void gen_array_bool_or_imp​(SimpleNode node)
      • gen_array_bool_xor

        void gen_array_bool_xor​(SimpleNode node)
      • gen_array_bool_xor_imp

        void gen_array_bool_xor_imp​(SimpleNode node)
      • gen_bool_not

        void gen_bool_not​(SimpleNode node)
      • gen_bool_or

        void gen_bool_or​(SimpleNode node)
      • gen_bool_xor

        void gen_bool_xor​(SimpleNode node)
      • gen_bool_xor_imp

        void gen_bool_xor_imp​(SimpleNode node)
      • gen_bool_clause

        void gen_bool_clause​(SimpleNode node)
      • gen_bool_clause_reif

        void gen_bool_clause_reif​(SimpleNode node)
      • gen_bool_clause_imp

        void gen_bool_clause_imp​(SimpleNode node)
      • gen_bool2int

        void gen_bool2int​(SimpleNode node)
      • clause_generation

        void clause_generation​(SimpleNode node)
      • allVarOne

        boolean allVarOne​(IntVar[] w)
      • allVarZero

        boolean allVarZero​(IntVar[] w)
      • atLeastOneVarZero

        boolean atLeastOneVarZero​(IntVar[] w)
      • atLeastOneVarOne

        boolean atLeastOneVarOne​(IntVar[] w)