pub struct RangeCheckerChip {
pub air: RangeCheckerAir,
/* private fields */
}
Fields§
§air: RangeCheckerAir
Implementations§
Source§impl RangeCheckerChip
impl RangeCheckerChip
pub fn new(bus: RangeCheckBus) -> Self
pub fn bus(&self) -> RangeCheckBus
pub fn range_max(&self) -> u32
pub fn add_count(&self, val: u32)
pub fn generate_trace<F: Field>(&self) -> RowMajorMatrix<F>
Trait Implementations§
Auto Trait Implementations§
impl Freeze for RangeCheckerChip
impl RefUnwindSafe for RangeCheckerChip
impl Send for RangeCheckerChip
impl Sync for RangeCheckerChip
impl Unpin for RangeCheckerChip
impl UnwindSafe for RangeCheckerChip
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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