DegreeMeta

circomspect_program_structure::intermediate_representation::degree_meta

Trait DegreeMeta 

Source 
pub trait DegreeMeta {
    // Required methods
    fn propagate_degrees(&mut self, env: &DegreeEnvironment) -> bool;
    fn degree(&self) -> Option<&DegreeRange>;
}

Required Methods§

Source

fn propagate_degrees(&mut self, env: &DegreeEnvironment) -> bool

Compute expression degrees for this node and child nodes. Returns true if the node (or a child node) is updated.

Source

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

Returns an inclusive range the degree of the node may take.

Implementors§