systemc/core/event.cc

38 #include "systemc/core/scheduler.hh"
112         scheduler.deschedule(&delayedNotify);
163     if (scheduler.inUpdate())
168         scheduler.deschedule(&delayedNotify);
170     _triggeredStamp = scheduler.changeStamp();
181         if (scheduler.delayed(t) >= delayedNotify.when())
184         scheduler.deschedule(&delayedNotify);
186     scheduler.schedule(&delayedNotify, t);
201         scheduler.deschedule(&delayedNotify);
207     return _triggeredStamp == scheduler.changeStamp();