Method post

test/set/dom.cpp:475–480

Post constraint on \a x

      }
      /// Post constraint on \a x
      virtual void post(Space& home, SetVarArray& x, IntVarArray&) {
        if (x.size() == 1)
          Gecode::cardinality(home, x[0], 2, 3);
        else
          Gecode::cardinality(home, x, 2, 3);
      }
    };

    DomRange _domrange_eq1(SRT_EQ,1);