Struct lrl_test_compiler::timeline::relays::RelaysTimeline

pub struct RelaysTimeline {
    pub endpoints: Vec<u32>,
    pub operations: Vec<Vec<RelayStatement>>,
}

Timeline of all relay operations over the whole test endpoints vector gives time for specific relay operations endpoints[0] is the time for all relay statements in operations[0]

Fields

endpoints: Vec<u32>

Times of relay operations

operations: Vec<Vec<RelayStatement>>

Implementations

impl RelaysTimeline

pub fn new() -> Self

pub fn add_relay_statement(
    &mut self,
    statement: &RelayStatement
) -> CompilerResult<()>

Adds relay operation from relay statement into relay timeline and inserts any necessary endpoint

pub fn validate(&self, concrete: &ConcreteTest) -> CompilerResult<()>

Ensure relay timeline satisfies all design requirements such as all relays must be unset at end of test

pub fn to_instrs(
    &self,
    concrete: &ConcreteTest
) -> CompilerResult<Vec<(u32, RelayInstr)>>

Trait Implementations

impl Debug for RelaysTimeline

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

Formats the value using the given formatter.

impl PartialEq<RelaysTimeline> for RelaysTimeline

fn eq(&self, other: &RelaysTimeline) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &RelaysTimeline) -> bool

This method tests for !=.

impl StructuralPartialEq for RelaysTimeline