Struct DegreeEnvironment

pub struct DegreeEnvironment { /* private fields */ }

This type is used to track degrees of individual variables during degree propagation.

Implementations

impl DegreeEnvironment

pub fn new() -> DegreeEnvironment

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

Sets the degree range of the given variable. Returns true on first update. TODO: Should probably take the supremum of the given range and any existing range.

pub fn set_type(&mut self, var: &VariableName, var_type: &VariableType)

Sets the type of the given variable.

pub fn degree(&self, var: &VariableName) -> Option<&DegreeRange>

Gets the degree range of the given variable.

pub fn is_local(&self, var: &VariableName) -> bool

Returns true if the given variable is a local variable.

Trait Implementations

impl Clone for DegreeEnvironment

fn clone(&self) -> DegreeEnvironment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for DegreeEnvironment

fn default() -> DegreeEnvironment

Returns the “default value” for a type.