Method invalidate

gecode/search/tracer.hpp:101–104

* Edge information * */

   *
   */
  forceinline void
  SearchTracer::EdgeInfo::invalidate(void) {
    _wid=UINT_MAX; _s.clear();
  }

  forceinline void
  SearchTracer::EdgeInfo::init(unsigned int wid, unsigned int nid,