Struct SymbolicVariable

pub struct SymbolicVariable<F> {
    pub entry: Entry,
    pub index: usize,
    /* private fields */
}

A variable within the evaluation window, i.e. a column in either the local or next row.

Fields

entry: Entry

index: usize

Implementations

impl<F> SymbolicVariable<F>

pub const fn new(entry: Entry, index: usize) -> Self

pub const fn degree_multiple(&self) -> usize

Trait Implementations

impl<F: Field, T> Add<T> for SymbolicVariable<F>

where T: Into<SymbolicExpression<F>>,

type Output = SymbolicExpression<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Clone> Clone for SymbolicVariable<F>

fn clone(&self) -> SymbolicVariable<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for SymbolicVariable<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Field> From<SymbolicVariable<F>> for SymbolicExpression<F>

fn from(value: SymbolicVariable<F>) -> Self

Converts to this type from the input type.

impl<F: Field, T> Mul<T> for SymbolicVariable<F>

where T: Into<SymbolicExpression<F>>,

type Output = SymbolicExpression<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field, T> Sub<T> for SymbolicVariable<F>

where T: Into<SymbolicExpression<F>>,

type Output = SymbolicExpression<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F: Copy> Copy for SymbolicVariable<F>