Struct Schedule 

pub struct Schedule {
    pub took: Vec<usize>,
    pub gave: Vec<usize>,
    pub proof: Lrat,
}

A side’s schedule under its environment: the clocks it took its input tokens at and gave its output tokens at, and the derivation, from the side unrolled alone, that every handshake is the constant it was taken to be.

Fields

took: Vec<usize>

gave: Vec<usize>

proof: Lrat

Implementations

impl Schedule

pub fn check(&self, side: &StreamSide<'_>, env: &Environment<'_>) -> bool

The clocks are in the order the tokens pass (token j the j-th taken, the j-th given), and the derivation replays from the side unrolled alone and proves every handshake the constant the schedule says.

Trait Implementations

impl Clone for Schedule

fn clone(&self) -> Schedule

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Schedule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.