Method post

gecode/kernel/core.cpp:81–83

* No-goods * */

   *
   */
  void
  NoGoods::post(Space&) const {
  }

  NoGoods NoGoods::eng;