Trait circomspect_program_structure::intermediate_representation::degree_meta::DegreeMeta
source · [−]pub trait DegreeMeta {
fn propagate_degrees(&mut self, env: &DegreeEnvironment);
fn degree(&self) -> Option<&DegreeRange>;
}Required Methods
sourcefn propagate_degrees(&mut self, env: &DegreeEnvironment)
fn propagate_degrees(&mut self, env: &DegreeEnvironment)
Compute expression degrees for this node and child nodes.
sourcefn degree(&self) -> Option<&DegreeRange>
fn degree(&self) -> Option<&DegreeRange>
Returns an inclusive range the degree of the node may take.