Struct Runtime 

pub struct Runtime { /* private fields */ }

The cooperative executor: a clock, a seeded stream, and the tasks.

Implementations

impl Runtime

pub fn new(seed: Seed) -> Self

An empty runtime at virtual t=0.

pub fn clock(&self) -> &Clock

The virtual clock driving timers and node skew.

pub fn spawn(&mut self, node: NodeId, name: &str, body: TaskBody) -> TaskId

Spawns a task on a node. The task receives its own stream forked from the runtime seed.