ravel
Deterministic simulation testing for C++. Seed a bug, replay it exact.
Loading...
Searching...
No Matches
ravel::Scheduler Member List

This is the complete list of members for ravel::Scheduler, including all inherited members.

call_after(VirtualClock::Tick delay, std::function< void()> action)ravel::Scheduler
current_task() const noexceptravel::Schedulerinline
make_runnable(TaskId id)ravel::Schedulerinline
now() const noexceptravel::Schedulerinline
operator=(const Scheduler &)=delete (defined in ravel::Scheduler)ravel::Scheduler
run_until_quiescent(std::uint64_t max_steps, VirtualClock::Tick time_limit=std::numeric_limits< VirtualClock::Tick >::max())ravel::Scheduler
Scheduler(VirtualClock &clock, VirtualRng &rng, Trace &trace) noexceptravel::Schedulerinline
Scheduler(const Scheduler &)=deleteravel::Scheduler
sleep(VirtualClock::Tick duration) noexceptravel::Schedulerinline
spawn(std::string name, TaskFactory factory)ravel::Scheduler
task_name(TaskId id) constravel::Schedulerinline
yield() noexceptravel::Schedulerinline