Package org.jacop.fz.constraints

Class LinearConstraints

java.lang.Object
org.jacop.fz.constraints.LinearConstraints
All Implemented Interfaces:
ParserTreeConstants
class LinearConstraints extends Object implements ParserTreeConstants
Generation of linear constraints in flatzinc.

  • Field Details

  • Constructor Details

    • LinearConstraints

      public LinearConstraints(Support support)

  • Method Details

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

    • int_lin_relation_reif

      void int_lin_relation_reif(int operation, SimpleNode node) throws FailException
      Throws:
      FailException

    • int_lin_relation_imp

      void int_lin_relation_imp(int operation, SimpleNode node) throws FailException
      Throws:
      FailException

    • int_lin_relation

      void int_lin_relation(int operation, SimpleNode node) throws FailException
      Throws:
      FailException

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