Struct proof_system::statement::Statements

pub struct Statements<E, G>(pub Vec<Statement<E, G>>)
where
    E: PairingEngine,
    G: AffineCurve;

A collection of statements

Tuple Fields

0: Vec<Statement<E, G>>

Implementations

impl<E, G> Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

pub fn new() -> Self

pub fn add(&mut self, item: Statement<E, G>) -> usize

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

Trait Implementations

impl<E, G> CanonicalDeserialize for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

fn deserialize<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

fn deserialize_unchecked<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl<E, G> CanonicalSerialize for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

fn serialize<W: Write>(&self, writer: W) -> Result<(), SerializationError>

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

fn serialize_uncompressed<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression.

fn serialize_unchecked<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

impl<E: Clone, G: Clone> Clone for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

fn clone(&self) -> Statements<E, G>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug, G: Debug> Debug for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

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

Formats the value using the given formatter.

impl<'de, E, G> Deserialize<'de> for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E: PartialEq, G: PartialEq> PartialEq<Statements<E, G>> for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

fn eq(&self, other: &Statements<E, G>) -> bool

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

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

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

impl<E, G> Serialize for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl<E, G> StructuralPartialEq for Statements<E, G>where
    E: PairingEngine,
    G: AffineCurve,