Struct Witness 

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

Witness represents an assignment of values to variables.

• Does not include variables already given in CircuitHeader.instance_variables.
• Does not include the constant one variable.
• Multiple such messages are equivalent to the concatenation of Variables arrays.

Fields

_tab: Table<'a>

Implementations

impl<'a> Witness<'a>

pub const VT_ASSIGNED_VARIABLES: VOffsetT = 4i16

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 WitnessArgs<'args>, ) -> WIPOffset<Witness<'bldr>>

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

Trait Implementations

impl<'a> Clone for Witness<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Witness<'a>

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

Formats the value using the given formatter.

impl<'a> Follow<'a> for Witness<'a>

type Inner = Witness<'a>

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

impl<'a> From<Witness<'a>> for Witness

fn from(fb_witness: Witness<'_>) -> Witness

Convert from Flatbuffers references to owned structure.

impl<'a> PartialEq for Witness<'a>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Copy for Witness<'a>

impl<'a> StructuralPartialEq for Witness<'a>