Class SetConstraints

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

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

  • Constructor Details

    • SetConstraints

      public SetConstraints(Support support)
  • Method Details

    • gen_set_card

      void gen_set_card(SimpleNode node)
    • gen_set_diff

      void gen_set_diff(SimpleNode node)
    • gen_set_eq

      void gen_set_eq(SimpleNode node)
    • gen_set_eq_reif

      void gen_set_eq_reif(SimpleNode node)
    • gen_set_in

      void gen_set_in(SimpleNode node)
    • gen_set_in_reif

      void gen_set_in_reif(SimpleNode node)
    • gen_set_in_imp

      void gen_set_in_imp(SimpleNode node)
    • gen_set_intersect

      void gen_set_intersect(SimpleNode node)
    • gen_set_le

      void gen_set_le(SimpleNode node)
    • gen_set_le_reif

      void gen_set_le_reif(SimpleNode node)
    • gen_set_lt

      void gen_set_lt(SimpleNode node)
    • gen_set_lt_reif

      void gen_set_lt_reif(SimpleNode node)
    • gen_set_ne

      void gen_set_ne(SimpleNode node)
    • gen_set_ne_reif

      void gen_set_ne_reif(SimpleNode node)
    • gen_set_subset

      void gen_set_subset(SimpleNode node)
    • gen_set_subset_reif

      void gen_set_subset_reif(SimpleNode node)
    • gen_set_symdiff

      void gen_set_symdiff(SimpleNode node)
    • gen_set_union

      void gen_set_union(SimpleNode node)
    • gen_set_superset

      void gen_set_superset(SimpleNode node)
    • gen_set_superset_reif

      void gen_set_superset_reif(SimpleNode node)