pub struct AirIR { /* private fields */ }
Expand description
Internal representation of an AIR.
TODO: docs
Implementations
sourceimpl AirIR
impl AirIR
sourcepub fn from_source(source: &Source) -> Result<Self, SemanticError>
pub fn from_source(source: &Source) -> Result<Self, SemanticError>
Consumes the provided source and generates a matching AirIR.
pub fn air_name(&self) -> &str
pub fn public_inputs(&self) -> &PublicInputs
pub fn periodic_columns(&self) -> &PeriodicColumns
pub fn num_main_assertions(&self) -> usize
pub fn main_first_boundary_constraints(&self) -> Vec<(usize, &BoundaryExpr)>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
pub fn main_last_boundary_constraints(&self) -> Vec<(usize, &BoundaryExpr)>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
pub fn num_aux_assertions(&self) -> usize
pub fn aux_first_boundary_constraints(&self) -> Vec<(usize, &BoundaryExpr)>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
pub fn aux_last_boundary_constraints(&self) -> Vec<(usize, &BoundaryExpr)>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
pub fn main_degrees(&self) -> Vec<TransitionConstraintDegree>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
pub fn main_transition_constraints(&self) -> &[NodeIndex]
pub fn aux_degrees(&self) -> Vec<TransitionConstraintDegree>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
pub fn aux_transition_constraints(&self) -> &[NodeIndex]
pub fn transition_graph(&self) -> &AlgebraicGraph
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for AirIR
impl Send for AirIR
impl Sync for AirIR
impl Unpin for AirIR
impl UnwindSafe for AirIR
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more