pub struct Environment<'a> {
pub frames: usize,
pub offer: &'a dyn Fn(usize) -> bool,
pub accept: &'a dyn Fn(usize) -> bool,
pub other: &'a dyn Fn(&str, usize) -> Binding,
}Expand description
The arrival pattern a side runs under, frames clocks: whether a token is offered at each clock, whether a given one
is taken (or, for a side that never waits, watched for) at each clock, and what every other input is at each clock.
Only the handshakes at those clocks are the side’s schedule, so the clocks before a reset settles are left out by
offering and taking nothing there.
Fields§
§frames: usize§offer: &'a dyn Fn(usize) -> bool§accept: &'a dyn Fn(usize) -> bool§other: &'a dyn Fn(&str, usize) -> BindingAuto Trait Implementations§
impl<'a> Freeze for Environment<'a>
impl<'a> !RefUnwindSafe for Environment<'a>
impl<'a> !Send for Environment<'a>
impl<'a> !Sync for Environment<'a>
impl<'a> Unpin for Environment<'a>
impl<'a> UnsafeUnpin for Environment<'a>
impl<'a> !UnwindSafe for Environment<'a>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more