Struct FieldVar 

pub struct FieldVar(/* private fields */);

A wire of a relation: a plain index. Index 0 is FieldVar::ZERO, the wire every relation assigns the value zero.

Implementations

impl FieldVar

pub const MAX_COUNT: usize

Maximum number of variables a relation can allocate.

pub const ZERO: Self

The distinguished zero wire, allocated and assigned by every relation.

pub const fn index(self) -> usize

The variable index.

pub const fn try_from_index(index: usize) -> Option<Self>

A variable from an index within the supported range.

Trait Implementations

impl<T: Ring> Add<Sum<T>> for FieldVar

type Output = Sum<T>

The resulting type after applying the + operator.

fn add(self, rhs: Sum<T>) -> Sum<T>

Performs the + operation.

impl<T: Ring> Add<Weighted<T>> for FieldVar

type Output = Sum<T>

The resulting type after applying the + operator.

fn add(self, rhs: Weighted<T>) -> Sum<T>

Performs the + operation.

impl Clone for FieldVar

fn clone(&self) -> FieldVar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FieldVar

impl Debug for FieldVar

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

Formats the value using the given formatter.

impl Default for FieldVar

fn default() -> FieldVar

Returns the “default value” for a type.

impl Eq for FieldVar

impl<T: Ring> From<FieldVar> for Weighted<T>

A bare wire is the term 1 · var.

fn from(var: FieldVar) -> Self

Converts to this type from the input type.

impl<T: Ring> From<FieldVar> for Sum<T>

fn from(var: FieldVar) -> Self

Converts to this type from the input type.

impl Hash for FieldVar

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T> Mul<T> for FieldVar

type Output = Weighted<T>

The resulting type after applying the * operator.

fn mul(self, weight: T) -> Weighted<T>

Performs the * operation.

impl PartialEq for FieldVar

fn eq(&self, other: &FieldVar) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FieldVar

impl Unit for FieldVar

const ZERO: Self = Self::ZERO

The zero element.