Struct r1cs_file::R1csFile

pub struct R1csFile<const FS: usize> {
    pub header: Header<FS>,
    pub constraints: Constraints<FS>,
    pub map: WireMap,
}

Fields

header: Header<FS>

constraints: Constraints<FS>

map: WireMap

Implementations

impl<const FS: usize> R1csFile<FS>

pub fn serialize(&self) -> Vec<u8>

pub fn parse<R: Read>(r: R) -> Result<Self>

Trait Implementations

impl<const FS: usize> Debug for R1csFile<FS>

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

Formats the value using the given formatter.

impl<const FS: usize> PartialEq<R1csFile<FS>> for R1csFile<FS>

fn eq(&self, other: &R1csFile<FS>) -> bool

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

fn ne(&self, other: &R1csFile<FS>) -> bool

This method tests for !=.

impl<const FS: usize> Eq for R1csFile<FS>

impl<const FS: usize> StructuralEq for R1csFile<FS>

impl<const FS: usize> StructuralPartialEq for R1csFile<FS>