Method todelete

gecode/support/thread/thread.hpp:42–45

  Runnable::Runnable(bool d0)
    : d(d0) {}
  forceinline void
  Runnable::todelete(bool d0) {
    d=d0;
  }
  forceinline bool
  Runnable::todelete(void) const {
    return d;