Method type

gecode/int/task/event.hpp:41–44

  }

  forceinline Event::Type
  Event::type(void) const {
    return static_cast<Type>(ei & 7);
  }
  forceinline int
  Event::time(void) const {
    return t;