Method init

gecode/int/task/event.hpp:36–39

namespace Gecode { namespace Int {

  forceinline void
  Event::init(Event::Type e0, int t0, int i0) {
    ei=static_cast<unsigned int>(e0 | (i0 << 3)); t=t0;
  }

  forceinline Event::Type
  Event::type(void) const {