Struct FieldVariable

pub struct FieldVariable {
    pub expr: SymbolicExpr,
    pub builder: Rc<RefCell<ExprBuilder>>,
    pub limb_max_abs: usize,
    pub max_overflow_bits: usize,
    pub expr_limbs: usize,
    pub range_checker_bits: usize,
}

Fields

expr: SymbolicExpr

builder: Rc<RefCell<ExprBuilder>>

limb_max_abs: usize

max_overflow_bits: usize

expr_limbs: usize

range_checker_bits: usize

Implementations

impl FieldVariable

pub fn save(&mut self) -> usize

This function is idempotent, i.e., if you already saved, then saving again does nothing.

pub fn save_output(&mut self)

pub fn canonical_limb_bits(&self) -> usize

pub fn add(&mut self, other: &mut FieldVariable) -> FieldVariable

pub fn sub(&mut self, other: &mut FieldVariable) -> FieldVariable

pub fn mul(&mut self, other: &mut FieldVariable) -> FieldVariable

pub fn square(&mut self) -> FieldVariable

pub fn int_add(&mut self, scalar: isize) -> FieldVariable

pub fn int_mul(&mut self, scalar: isize) -> FieldVariable

pub fn div(&mut self, other: &mut FieldVariable) -> FieldVariable

pub fn from_var( builder: Rc<RefCell<ExprBuilder>>, var: SymbolicExpr, ) -> FieldVariable

pub fn select( flag_id: usize, a: &FieldVariable, b: &FieldVariable, ) -> FieldVariable

Trait Implementations

impl Add<&mut FieldVariable> for &mut FieldVariable

type Output = FieldVariable

The resulting type after applying the + operator.

fn add(self, rhs: &mut FieldVariable) -> Self::Output

Performs the + operation.

impl Add for FieldVariable

type Output = FieldVariable

The resulting type after applying the + operator.

fn add(self, rhs: FieldVariable) -> Self::Output

Performs the + operation.

impl Clone for FieldVariable

fn clone(&self) -> FieldVariable

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Div<&mut FieldVariable> for &mut FieldVariable

type Output = FieldVariable

The resulting type after applying the / operator.

fn div(self, rhs: &mut FieldVariable) -> Self::Output

Performs the / operation.

impl Div for FieldVariable

type Output = FieldVariable

The resulting type after applying the / operator.

fn div(self, rhs: FieldVariable) -> Self::Output

Performs the / operation.

impl Mul<&mut FieldVariable> for &mut FieldVariable

type Output = FieldVariable

The resulting type after applying the * operator.

fn mul(self, rhs: &mut FieldVariable) -> Self::Output

Performs the * operation.

impl Mul for FieldVariable

type Output = FieldVariable

The resulting type after applying the * operator.

fn mul(self, rhs: FieldVariable) -> Self::Output

Performs the * operation.

impl Sub<&mut FieldVariable> for &mut FieldVariable

type Output = FieldVariable

The resulting type after applying the - operator.

fn sub(self, rhs: &mut FieldVariable) -> Self::Output

Performs the - operation.

impl Sub for FieldVariable

type Output = FieldVariable

The resulting type after applying the - operator.

fn sub(self, rhs: FieldVariable) -> Self::Output

Performs the - operation.