pub struct LookupBatch { /* private fields */ }Implementations§
Source§impl LookupBatch
impl LookupBatch
pub fn new(t_oracles: impl IntoIterator<Item = OracleId>) -> Self
pub fn add( &mut self, lookup_u: impl IntoIterator<Item = OracleId>, u_to_t_mapping: Vec<usize>, lookup_u_col_len: usize, )
pub fn execute<FC>(
self,
builder: &mut ConstraintSystemBuilder<'_>,
) -> Result<(), Error>where
FC: TowerField,
U: PackScalar<FC>,
F: ExtensionField<FC>,
PackedType<U, FC>: PackedFieldIndexable,
Trait Implementations§
Auto Trait Implementations§
impl Freeze for LookupBatch
impl RefUnwindSafe for LookupBatch
impl Send for LookupBatch
impl Sync for LookupBatch
impl Unpin for LookupBatch
impl UnwindSafe for LookupBatch
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more