Function remax

gecode/set/int.cpp:120–129

Reify \a m to be the maximum of \a s

  /// Reify \a m to be the maximum of \a s
  void remax(Home home, SetVar s, IntVar m, Reify r) {
    IntVar c(home, 0, static_cast<int>(Set::Limits::card));
    cardinality(home, s, c);
    // Whether set is not empty
    BoolVar ne(home, 0, 1);
    rel(home, c, IRT_GR, 0, ne);
    if (r.mode() != RM_PMI)
      rel(home, r.var(), BOT_IMP, ne, 1);
    max(home, s, m, ne);
  }

}}}