1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

use p3_field::PrimeField32;

use crate::prelude::{MemIndex, Usize};

/// Represents a memory index triple.
pub enum IndexTriple<F> {
    Var(i32, F, F),
    Const(F, F, F),
}

impl<F: PrimeField32> MemIndex<F> {
    pub fn fp(&self) -> IndexTriple<F> {
        match self.index {
            Usize::Const(index) => IndexTriple::Const(
                F::from_canonical_usize(index),
                F::from_canonical_usize(self.offset),
                F::from_canonical_usize(self.size),
            ),
            Usize::Var(index) => IndexTriple::Var(
                index.fp(),
                F::from_canonical_usize(self.offset),
                F::from_canonical_usize(self.size),
            ),
        }
    }
}

/// A value or a constant.
pub enum ValueOrConst<F, EF> {
    Val(i32),
    ExtVal(i32),
    Const(F),
    ExtConst(EF),
}