Struct IdealCollector 

pub struct IdealCollector<I: Ideal> {
    pub ideals: Vec<IdealOrZero<I>>,
}

A ConstraintBuilder that collects ideals used in a Uair.

Fields

ideals: Vec<IdealOrZero<I>>

Implementations

impl<I: Ideal> IdealCollector<I>

pub fn new(num_constraints: usize) -> Self

Create a new ideal collector and hint the number of constraints a target UAIR might have.

Trait Implementations

impl<I> ConstraintBuilder for IdealCollector<I>

where I: Ideal,

type Expr = DummySemiring

The expressions the constraint builder operates on. It is opaque from the PoV of an AIR apart from the fact that arithmetic operations are available on it and one can check if an expression is in an ideal.

type Ideal = IdealOrZero<I>

The type of ideals used by the constraint builder.

fn assert_in_ideal(&mut self, _expr: Self::Expr, ideal: &Self::Ideal)

Add a constraint saying that expr belongs to the ideal ideal.

fn assert_zero(&mut self, _expr: Self::Expr)

Add a constraint saying that expr is equal to zero which is the same as saying that expr belongs to the zero ideal.