Class FloatLinearConstraints

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

class FloatLinearConstraints extends Object implements ParserTreeConstants
Generation of set constraints in flatzinc
  • Field Details

    • reified

      boolean reified
    • support

      Support support
    • store

      Store store
  • Constructor Details

    • FloatLinearConstraints

      public FloatLinearConstraints(Support support)
  • Method Details

    • gen_float_lin_eq

      void gen_float_lin_eq(SimpleNode node)
    • gen_float_lin_eq_reif

      void gen_float_lin_eq_reif(SimpleNode node)
    • gen_float_lin_le

      void gen_float_lin_le(SimpleNode node)
    • gen_float_lin_le_reif

      void gen_float_lin_le_reif(SimpleNode node)
    • gen_float_lin_lt

      void gen_float_lin_lt(SimpleNode node)
    • gen_float_lin_lt_reif

      void gen_float_lin_lt_reif(SimpleNode node)
    • gen_float_lin_ne

      void gen_float_lin_ne(SimpleNode node)
    • gen_float_lin_ne_reif

      void gen_float_lin_ne_reif(SimpleNode node)
    • float_lin_relation

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