Class ComparisonConstraints

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

class ComparisonConstraints extends Object implements ParserTreeConstants
  • Field Details

  • Constructor Details

    • ComparisonConstraints

      public ComparisonConstraints(Support support)
  • Method Details

    • gen_bool_eq

      void gen_bool_eq(SimpleNode node)
    • gen_bool_eq_reif

      void gen_bool_eq_reif(SimpleNode node)
    • gen_bool_eq_imp

      void gen_bool_eq_imp(SimpleNode node)
    • gen_bool_ne

      void gen_bool_ne(SimpleNode node)
    • gen_bool_ne_reif

      void gen_bool_ne_reif(SimpleNode node)
    • gen_bool_ne_imp

      void gen_bool_ne_imp(SimpleNode node)
    • gen_bool_le

      void gen_bool_le(SimpleNode node)
    • gen_bool_le_reif

      void gen_bool_le_reif(SimpleNode node)
    • gen_bool_le_imp

      void gen_bool_le_imp(SimpleNode node)
    • gen_bool_lt

      void gen_bool_lt(SimpleNode node)
    • gen_bool_lt_reif

      void gen_bool_lt_reif(SimpleNode node)
    • gen_bool_lt_imp

      void gen_bool_lt_imp(SimpleNode node)
    • gen_bool_gt_imp

      void gen_bool_gt_imp(SimpleNode node)
    • gen_bool_ge_imp

      void gen_bool_ge_imp(SimpleNode node)
    • gen_int_eq

      void gen_int_eq(SimpleNode node)
    • gen_int_eq_reif

      void gen_int_eq_reif(SimpleNode node)
    • gen_int_eq_imp

      void gen_int_eq_imp(SimpleNode node)
    • gen_int_ne

      void gen_int_ne(SimpleNode node)
    • gen_int_ne_reif

      void gen_int_ne_reif(SimpleNode node)
    • gen_int_ne_imp

      void gen_int_ne_imp(SimpleNode node)
    • gen_int_le

      void gen_int_le(SimpleNode node)
    • gen_int_le_reif

      void gen_int_le_reif(SimpleNode node)
    • gen_int_le_imp

      void gen_int_le_imp(SimpleNode node)
    • gen_int_lt

      void gen_int_lt(SimpleNode node)
    • gen_int_lt_reif

      void gen_int_lt_reif(SimpleNode node)
    • gen_int_lt_imp

      void gen_int_lt_imp(SimpleNode node)
    • gen_int_gt_imp

      void gen_int_gt_imp(SimpleNode node)
    • gen_int_ge_imp

      void gen_int_ge_imp(SimpleNode node)
    • int_comparison

      void int_comparison(int operation, SimpleNode node)
    • int_comparison_reif

      void int_comparison_reif(int operation, SimpleNode node)
    • int_comparison_imp

      void int_comparison_imp(int operation, SimpleNode node)
    • generateForEqC

      boolean generateForEqC(IntVar v1, int i2, IntVar b)
    • generateForNeqC

      boolean generateForNeqC(IntVar v1, int i2, IntVar b)
    • generateForEq

      boolean generateForEq(IntVar v1, IntVar v2, IntVar b)
    • generateForNeq

      boolean generateForNeq(IntVar v1, IntVar v2, IntVar b)
    • binaryVar

      boolean binaryVar(IntVar v)