Class SetConstraints

    • Constructor Detail

      • SetConstraints

        public SetConstraints​(Support support)
    • Method Detail

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