Method idx

gecode/int/task/event.hpp:49–52

    return t;
  }
  forceinline int
  Event::idx(void) const {
    return static_cast<int>(ei >> 3);;
  }

  forceinline bool
  Event::operator <(const Event& e) const {