Class FloatComparisonConstraints

    • Field Detail

      • reified

        boolean reified
    • Constructor Detail

      • FloatComparisonConstraints

        public FloatComparisonConstraints​(Support support)
    • Method Detail

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