Struct Watcher 

pub struct Watcher<'d> {
    pub block: Symbol<'d>,
    pub inst: Expression<'d>,
}

One watched sequence instance of a procedural block.

Fields

block: Symbol<'d>

The procedural block that reads it.

inst: Expression<'d>

The AssertionInstance expression.

Implementations

impl<'d> Watcher<'d>

pub fn id(&self) -> SymbolId

The hidden cell’s id (watcher_id).

Trait Implementations

impl<'d> Clone for Watcher<'d>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'d> Copy for Watcher<'d>