Struct Lowered 

pub struct Lowered {
    pub conjuncts: Vec<Expr>,
    pub arrays: Vec<ArrayState>,
    pub bases: Vec<(ArrayId, ArrayId)>,
}

The constraints and arrays of the second sizing stage (lower_rows).

Fields

conjuncts: Vec<Expr>

The conjuncts with every foreach over an array of arrays unrolled and every ArrayNode::RowScope whose row is known bound to its row array.

arrays: Vec<ArrayState>

The arrays plus, after them, the row arrays; an array of arrays itself is inactive with one placeholder element per row, so its size is a constant.

bases: Vec<(ArrayId, ArrayId)>

(array of arrays, id of its row 0); row k is base + k.

Trait Implementations

impl Clone for Lowered

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Lowered

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

Formats the value using the given formatter.