Struct circomspect_program_structure::intermediate_representation::degree_meta::DegreeKnowledge

pub struct DegreeKnowledge { /* private fields */ }

Implementations

impl DegreeKnowledge

pub fn new() -> DegreeKnowledge

pub fn set_degree(&mut self, range: &DegreeRange) -> bool

pub fn degree(&self) -> Option<&DegreeRange>

pub fn is_constant(&self) -> bool

Returns true if the degree range is known, and the upper bound is at most constant.

pub fn is_linear(&self) -> bool

Returns true if the degree range is known, and the upper bound is at most linear.

pub fn is_quadratic(&self) -> bool

Returns true if the degree range is known, and the upper bound is at most quadratic.

Trait Implementations

impl Clone for DegreeKnowledge

fn clone(&self) -> DegreeKnowledge

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for DegreeKnowledge

fn default() -> DegreeKnowledge

Returns the “default value” for a type.