Struct ConfigTable 

pub struct ConfigTable {
    pub grids: Vec<Grid>,
    pub rows: usize,
    pub cols: usize,
    pub width: u32,
    pub cfg_width: u32,
}

A program corpus compiled to ONE reconfigurable tile array: every datapath placed as a same-shape island (all padded to rows × cols), plus the datapath widths for the certified reconfig proof. grids[k] is the island selected by block_config(k).

Fields

grids: Vec<Grid>

One island per datapath, ALL padded to the common array shape so they co-reside.

rows: usize

The array’s common dimensions (every grids[k] has these).

cols: usize

width: u32

The datapath bit width for the reconfig SAT proof.

cfg_width: u32

The config-word bit width (ceil(log2(n))), so time_mux_n_bounded selects among all islands.

Trait Implementations

impl Clone for ConfigTable

fn clone(&self) -> ConfigTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConfigTable

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

Formats the value using the given formatter.