Struct zkinterface::zkinterface_generated::zkinterface::BilinearConstraint

pub struct BilinearConstraint<'a> {
    pub _tab: Table<'a>,
}

A single R1CS constraint between variables.

• Represents the linear combinations of variables A, B, C such that: (A) * (B) = (C)
• A linear combination is given as a sequence of (variable ID, coefficient).

Fields

_tab: Table<'a>

Implementations

impl<'a> BilinearConstraint<'a>

pub fn init_from_table(table: Table<'a>) -> Self

pub fn create<'bldr: 'args, 'args: 'mut_bldr, 'mut_bldr>(
    _fbb: &'mut_bldr mut FlatBufferBuilder<'bldr>,
    args: &'args BilinearConstraintArgs<'args>
) -> WIPOffset<BilinearConstraint<'bldr>>

pub const VT_LINEAR_COMBINATION_A: VOffsetT

pub const VT_LINEAR_COMBINATION_B: VOffsetT

pub const VT_LINEAR_COMBINATION_C: VOffsetT

pub fn linear_combination_a(&self) -> Option<Variables<'a>>

pub fn linear_combination_b(&self) -> Option<Variables<'a>>

pub fn linear_combination_c(&self) -> Option<Variables<'a>>

Trait Implementations

impl<'a> Clone for BilinearConstraint<'a>

fn clone(&self) -> BilinearConstraint<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for BilinearConstraint<'a>

impl<'a> Debug for BilinearConstraint<'a>

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

Formats the value using the given formatter.

impl<'a> Follow<'a> for BilinearConstraint<'a>

type Inner = BilinearConstraint<'a>

fn follow(buf: &'a [u8], loc: usize) -> Self::Inner

impl<'a> PartialEq<BilinearConstraint<'a>> for BilinearConstraint<'a>

fn eq(&self, other: &BilinearConstraint<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &BilinearConstraint<'a>) -> bool

This method tests for !=.

impl<'a> StructuralPartialEq for BilinearConstraint<'a>