Class BoolConstraints

java.lang.Object
org.jacop.fz.constraints.BoolConstraints
All Implemented Interfaces:
ParserTreeConstants

class BoolConstraints extends Object implements ParserTreeConstants
Generation of boolean constraints in flatzinc
  • Field Details

  • Constructor Details

    • BoolConstraints

      public BoolConstraints(Support support)
  • Method Details

    • 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)