Method operator <

gecode/int/task/event.hpp:54–59

  }

  forceinline bool
  Event::operator <(const Event& e) const {
    if (time() == e.time())
      return type() < e.type();
    return time() < e.time();
  }


  template<class Char, class Traits>