Struct zkinterface::zkinterface_generated::zkinterface::R1CSConstraints

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

Fields

_tab: Table<'a>

Methods

impl<'a> R1CSConstraints<'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 R1CSConstraintsArgs<'args>
) -> WIPOffset<R1CSConstraints<'bldr>>

pub const VT_CONSTRAINTS: VOffsetT

pub const VT_INFO: VOffsetT

pub fn constraints(
    &self
) -> Option<Vector<'a, ForwardsUOffset<BilinearConstraint<'a>>>>

pub fn info(&self) -> Option<Vector<'a, ForwardsUOffset<KeyValue<'a>>>>

Optional: Any complementary info that may be useful.

Example: human-readable descriptions. Example: custom hints to an optimizer or analyzer.

Trait Implementations

impl<'a> Copy for R1CSConstraints<'a>

impl<'a> PartialEq<R1CSConstraints<'a>> for R1CSConstraints<'a>

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

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

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

This method tests for !=.

impl<'a> Clone for R1CSConstraints<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for R1CSConstraints<'a>

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

Formats the value using the given formatter.

impl<'a> Follow<'a> for R1CSConstraints<'a>

type Inner = R1CSConstraints<'a>

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