Skip to main content

zinc_uair/
do_nothing_builder.rs

1use crate::{ConstraintBuilder, dummy_semiring::DummySemiring, ideal::ImpossibleIdeal};
2
3#[derive(Clone, Copy, Debug, Default)]
4pub struct DoNothingBuilder;
5
6impl ConstraintBuilder for DoNothingBuilder {
7    type Expr = DummySemiring;
8    type Ideal = ImpossibleIdeal;
9    type FqIdeal = ImpossibleIdeal;
10
11    #[inline(always)]
12    fn assert_in_ideal(&mut self, _expr: Self::Expr, _ideal: &Self::Ideal) {
13        // do nothing
14    }
15
16    #[inline(always)]
17    fn assert_zero(&mut self, _expr: Self::Expr) {
18        // do nothing
19    }
20
21    #[inline(always)]
22    fn assert_in_fq_ideal(&mut self, _prime_idx: usize, _expr: Self::Expr, _ideal: &Self::FqIdeal) {
23        // do nothing
24    }
25}