Class FloatComparisonConstraints

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

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

    • reified

      boolean reified
    • support

      Support support
    • store

      Store store
  • Constructor Details

    • FloatComparisonConstraints

      public FloatComparisonConstraints(Support support)
  • Method Details

    • gen_float_eq

      void gen_float_eq(SimpleNode node)
    • gen_float_eq_reif

      void gen_float_eq_reif(SimpleNode node)
    • gen_float_ne

      void gen_float_ne(SimpleNode node)
    • gen_float_ne_reif

      void gen_float_ne_reif(SimpleNode node)
    • gen_float_le

      void gen_float_le(SimpleNode node)
    • gen_float_le_reif

      void gen_float_le_reif(SimpleNode node)
    • gen_float_lt

      void gen_float_lt(SimpleNode node)
    • gen_float_lt_reif

      void gen_float_lt_reif(SimpleNode node)
    • float_comparison

      void float_comparison(int operation, SimpleNode node)