Struct Model 

pub struct Model {
    pub rates: Vec<MPoly>,
    pub preserved: Vec<bool>,
    pub jumps: Vec<Jump>,
    pub schedule: Vec<Item>,
}

A loop’s flow and jumps over its slots: its body in order, and the flow of a whole step — each slot’s rate, and whether a step leaves it exactly unchanged.

Fields

rates: Vec<MPoly>

preserved: Vec<bool>

jumps: Vec<Jump>

schedule: Vec<Item>

Implementations

impl Model

pub fn new(width: usize, schedule: Vec<Item>, jumps: Vec<Jump>) -> Model

The model of a loop of width slots whose body is schedule.

Trait Implementations

impl Clone for Model

fn clone(&self) -> Model

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Model

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

Formats the value using the given formatter.