Struct circomspect_program_structure::intermediate_representation::degree_meta::DegreeRange

pub struct DegreeRange(_, _);

An inclusive range of degrees.

Implementations

impl DegreeRange

pub fn new(start: Degree, end: Degree) -> DegreeRange

pub fn start(&self) -> Degree

pub fn end(&self) -> Degree

pub fn contains(&self, degree: Degree) -> bool

pub fn is_constant(&self) -> bool

Returns true if the upper bound is at most constant.

pub fn is_linear(&self) -> bool

Returns true if the upper bound is at most linear.

pub fn is_quadratic(&self) -> bool

Returns true if the upper bound is at most quadratic.

pub fn inf(&self, other: &DegreeRange) -> DegreeRange

Computes the infimum (under inverse inclusion) of self and other. Note, if the two ranges overlap this will simply be the union of self and other.

pub fn iter_inf<'a, T: IntoIterator<Item = &'a DegreeRange>>(
    ranges: T
) -> DegreeRange

Constructs the infimum (under inverse inclusion) of the given degree ranges. Note, if the ranges overlap this will simply be the union of all the ranges.

Panics

This method will panic if the iterator is empty.

pub fn iter_opt<'a, T: IntoIterator<Item = Option<&'a DegreeRange>>>(
    ranges: T
) -> Option<DegreeRange>

pub fn add(&self, other: &DegreeRange) -> DegreeRange

pub fn infix_sub(&self, other: &DegreeRange) -> DegreeRange

pub fn mul(&self, other: &DegreeRange) -> DegreeRange

pub fn pow(&self, other: &DegreeRange) -> DegreeRange

pub fn div(&self, other: &DegreeRange) -> DegreeRange

pub fn int_div(&self, other: &DegreeRange) -> DegreeRange

pub fn modulo(&self, other: &DegreeRange) -> DegreeRange

pub fn shift_left(&self, other: &DegreeRange) -> DegreeRange

pub fn shift_right(&self, other: &DegreeRange) -> DegreeRange

pub fn lesser(&self, other: &DegreeRange) -> DegreeRange

pub fn greater(&self, other: &DegreeRange) -> DegreeRange

pub fn lesser_eq(&self, other: &DegreeRange) -> DegreeRange

pub fn greater_eq(&self, other: &DegreeRange) -> DegreeRange

pub fn equal(&self, other: &DegreeRange) -> DegreeRange

pub fn not_equal(&self, other: &DegreeRange) -> DegreeRange

pub fn bit_or(&self, other: &DegreeRange) -> DegreeRange

pub fn bit_and(&self, other: &DegreeRange) -> DegreeRange

pub fn bit_xor(&self, other: &DegreeRange) -> DegreeRange

pub fn bool_or(&self, other: &DegreeRange) -> DegreeRange

pub fn bool_and(&self, other: &DegreeRange) -> DegreeRange

pub fn prefix_sub(&self) -> DegreeRange

pub fn complement(&self) -> DegreeRange

pub fn bool_not(&self) -> DegreeRange

Trait Implementations

impl Clone for DegreeRange

fn clone(&self) -> DegreeRange

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DegreeRange

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

Formats the value using the given formatter.

impl From<Degree> for DegreeRange

fn from(degree: Degree) -> DegreeRange

Converts to this type from the input type.

impl Hash for DegreeRange

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<DegreeRange> for DegreeRange

fn eq(&self, other: &DegreeRange) -> 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 Eq for DegreeRange

impl StructuralEq for DegreeRange

impl StructuralPartialEq for DegreeRange