Method TupleSet

gecode/int/extensional/tuple-set.cpp:267–268

* Tuple set * */

   *
   */
  TupleSet::TupleSet(int a)
    : SharedHandle(new Data(a)) {}
  void
  TupleSet::init(int a) {
    object(new Data(a));