Class FloatOperationConstraints

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

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

  • Constructor Details

    • FloatOperationConstraints

      public FloatOperationConstraints(Support support)
  • Method Details

    • gen_float_abs

      void gen_float_abs(SimpleNode node)
    • gen_float_acos

      void gen_float_acos(SimpleNode node)
    • gen_float_asin

      void gen_float_asin(SimpleNode node)
    • gen_float_atan

      void gen_float_atan(SimpleNode node)
    • gen_float_cos

      void gen_float_cos(SimpleNode node)
    • gen_float_exp

      void gen_float_exp(SimpleNode node)
    • gen_float_ln

      void gen_float_ln(SimpleNode node)
    • gen_float_log10

      void gen_float_log10(SimpleNode node)
    • gen_float_log2

      void gen_float_log2(SimpleNode node)
    • gen_float_sqrt

      void gen_float_sqrt(SimpleNode node)
    • gen_float_sin

      void gen_float_sin(SimpleNode node)
    • gen_float_tan

      void gen_float_tan(SimpleNode node)
    • gen_float_max

      void gen_float_max(SimpleNode node)
    • gen_float_min

      void gen_float_min(SimpleNode node)
    • gen_float_plus

      void gen_float_plus(SimpleNode node)
    • gen_float_times

      void gen_float_times(SimpleNode node)
    • gen_float_pow

      void gen_float_pow(SimpleNode node)
    • gen_float_div

      void gen_float_div(SimpleNode node)
    • gen_float_round

      void gen_float_round(SimpleNode node)
    • gen_float_floor

      void gen_float_floor(SimpleNode node)
    • gen_float_ceil

      void gen_float_ceil(SimpleNode node)