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)