Struct air_script::AirIR

pub struct AirIR { /* private fields */ }

AirScript intermediate representation Internal representation of an AIR.

TODO: docs

Implementations

impl AirIR

pub fn new(source: &Source) -> Result<AirIR, SemanticError>

Consumes the provided source and generates a matching AirIR.

pub fn air_name(&self) -> &str

pub fn constants(&self) -> &Vec<Constant, Global>

pub fn segment_widths(&self) -> &Vec<u16, Global>

pub fn public_inputs(&self) -> &Vec<(String, usize), Global>

pub fn periodic_columns(&self) -> &Vec<Vec<u64, Global>, Global>

pub fn num_boundary_constraints(&self, trace_segment: u8) -> usize

pub fn boundary_constraints(&self, trace_segment: u8) -> &[ConstraintRoot]

pub fn validity_constraint_degrees( &self, trace_segment: u8 ) -> Vec<IntegrityConstraintDegree, Global>

pub fn validity_constraints(&self, trace_segment: u8) -> &[ConstraintRoot]

pub fn transition_constraint_degrees( &self, trace_segment: u8 ) -> Vec<IntegrityConstraintDegree, Global>

pub fn transition_constraints(&self, trace_segment: u8) -> &[ConstraintRoot]

pub fn constraint_graph(&self) -> &AlgebraicGraph

Trait Implementations

impl Debug for AirIR

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

Formats the value using the given formatter.

impl Default for AirIR

fn default() -> AirIR

Returns the “default value” for a type.