Method post

test/set/construct.cpp:184–214

Post constraint on \a x

      }
      /// Post constraint on \a x
      virtual void post(Space& home, SetVarArray&, IntVarArray&) {
        // Check non-empty lower, empty upper bound
        con(home, 1,1, 1,0);
        con(home, IntSet(1,1), 1,0);
        con(home, 1,1, IntSet(1,0));
        con(home, IntSet(1,1), IntSet(1,0));

        // Check min cardinality
        con(home, 1,0, 1,1, 2,3);
        con(home, IntSet(1,0), 1,1, 2U,3U);
        con(home, 1,0, IntSet(1,1), 2U,3U);
        con(home, IntSet(1,0), IntSet(1,1), 2U,3U);

        // Check max cardinality
        con(home, 1,3, 1,4, 0,2);
        con(home, IntSet(1,3), 1,4, 0U,2U);
        con(home, 1,3, IntSet(1,4), 0U,2U);
        con(home, IntSet(1,3), IntSet(1,4), 0U,2U);

        // Check non-subset bounds
        con(home, 1,3, 2,4);
        con(home, IntSet(1,3), 2,4);
        con(home, 1,3, IntSet(2,4));
        con(home, IntSet(1,3), IntSet(2,4));
        con(home, 1,4, 1,3);
        con(home, IntSet(1,4), 1,3);
        con(home, 1,4, IntSet(1,3));
        con(home, IntSet(1,4), IntSet(1,3));

        con(home, IntSet::empty, 2, 4, 0U, 10U, false);
      }
    };
    Construct _con;