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
10    #[inline(always)]
11    fn assert_in_ideal(&mut self, _expr: Self::Expr, _ideal: &Self::Ideal) {
12        // do nothing
13    }
14
15    #[inline(always)]
16    fn assert_zero(&mut self, _expr: Self::Expr) {
17        // do nothing
18    }
19}