Struct FilteredAirBuilder

pub struct FilteredAirBuilder<'a, AB: AirBuilder> {
    pub inner: &'a mut AB,
    /* private fields */
}

Fields

inner: &'a mut AB

Implementations

impl<'a, AB: AirBuilder> FilteredAirBuilder<'a, AB>

pub fn condition(&self) -> AB::Expr

Trait Implementations

impl<'a, AB: AirBuilder> AirBuilder for FilteredAirBuilder<'a, AB>

type F = <AB as AirBuilder>::F

type Expr = <AB as AirBuilder>::Expr

type Var = <AB as AirBuilder>::Var

type M = <AB as AirBuilder>::M

fn main(&self) -> Self::M

fn is_first_row(&self) -> Self::Expr

fn is_last_row(&self) -> Self::Expr

fn is_transition_window(&self, size: usize) -> Self::Expr

fn assert_zero<I: Into<Self::Expr>>(&mut self, x: I)

fn is_transition(&self) -> Self::Expr

fn when<I: Into<Self::Expr>>( &mut self, condition: I, ) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only when condition is nonzero.

fn when_ne<I1: Into<Self::Expr>, I2: Into<Self::Expr>>( &mut self, x: I1, y: I2, ) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only when x != y.

fn when_first_row(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only on the first row.

fn when_last_row(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced only on the last row.

fn when_transition(&mut self) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced on all rows except the last.

fn when_transition_window( &mut self, size: usize, ) -> FilteredAirBuilder<'_, Self>

Returns a sub-builder whose constraints are enforced on all rows except the last size - 1.

fn assert_one<I: Into<Self::Expr>>(&mut self, x: I)

fn assert_eq<I1: Into<Self::Expr>, I2: Into<Self::Expr>>( &mut self, x: I1, y: I2, )

fn assert_bool<I: Into<Self::Expr>>(&mut self, x: I)

Assert that x is a boolean, i.e. either 0 or 1.

impl<'a, AB: Debug + AirBuilder> Debug for FilteredAirBuilder<'a, AB>

where AB::Expr: Debug,

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

Formats the value using the given formatter.

impl<'a, AB: ExtensionBuilder> ExtensionBuilder for FilteredAirBuilder<'a, AB>

type EF = <AB as ExtensionBuilder>::EF

type ExprEF = <AB as ExtensionBuilder>::ExprEF

type VarEF = <AB as ExtensionBuilder>::VarEF

fn assert_zero_ext<I>(&mut self, x: I)

where I: Into<Self::ExprEF>,

fn assert_eq_ext<I1, I2>(&mut self, x: I1, y: I2)

where I1: Into<Self::ExprEF>, I2: Into<Self::ExprEF>,

fn assert_one_ext<I>(&mut self, x: I)

where I: Into<Self::ExprEF>,

impl<'a, AB: PermutationAirBuilder> PermutationAirBuilder for FilteredAirBuilder<'a, AB>

type MP = <AB as PermutationAirBuilder>::MP

type RandomVar = <AB as PermutationAirBuilder>::RandomVar

fn permutation(&self) -> Self::MP

fn permutation_randomness(&self) -> &[Self::RandomVar]