Trait clock_zones::Layout

pub trait Layout<B: Bound> {
    fn new(num_clocks: usize, init: B) -> Self;
    fn set(&mut self, left: Clock, right: Clock, bound: B);
    fn get(&self, left: Clock, right: Clock) -> &B;
}

Represents a storage layout for DBM.

Required methods

fn new(num_clocks: usize, init: B) -> Self

Initializes the storage for num_clock clocks using init as initial bound for all differences.

fn set(&mut self, left: Clock, right: Clock, bound: B)

Sets the bound for the clock difference left - right.

fn get(&self, left: Clock, right: Clock) -> &B

Retrieves the bound for the clock difference left - right.

Loading content...

Implementors

impl<B: Bound> Layout<B> for LinearLayout<B>

fn new(num_clocks: usize, default: B) -> Self

fn set(&mut self, left: Clock, right: Clock, bound: B)

fn get(&self, left: Clock, right: Clock) -> &B

impl<B: Bound> Layout<B> for MatrixLayout<B>

fn new(num_clocks: usize, default: B) -> Self

fn set(&mut self, left: Clock, right: Clock, bound: B)

fn get(&self, left: Clock, right: Clock) -> &B

Loading content...