1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 319 unchanged lines hidden (view full) ---

328 }
329
330 // Run scheduled channel updates.
331 void runUpdate();
332
333 // Run delta events.
334 void runDelta();
335
336 void start(Tick max_tick, bool run_to_time);
337 void oneCycle();
338
339 void schedulePause();
340 void scheduleStop(bool finish_delta);
341
342 enum Status
343 {

--- 75 unchanged lines hidden (view full) ---

419 EventWrapper<Scheduler, &Scheduler::runReady> readyEvent;
420 void scheduleReadyEvent();
421
422 void pause();
423 void stop();
424 EventWrapper<Scheduler, &Scheduler::pause> pauseEvent;
425 EventWrapper<Scheduler, &Scheduler::stop> stopEvent;
426
427 const ::sc_core::sc_report *_throwToScMain;
428
429 bool
430 starved()
431 {
432 return (readyListMethods.empty() && readyListThreads.empty() &&
433 updateList.empty() && deltas.empty() &&
434 (timeSlots.empty() || timeSlots.begin()->first > maxTick) &&

--- 85 unchanged lines hidden ---