Struct LinearityChecker 

pub struct LinearityChecker { /* private fields */ }

Linearity checker for expressions.

Implementations

impl LinearityChecker

pub fn new() -> Self

pub fn bind(&mut self, name: impl Into<String>, linear_type: LinearType)

Add a linear variable binding

pub fn use_var(&mut self, name: &str)

Record a variable use

pub fn check(&self) -> Result<(), Vec<String>>

Check if all linearity constraints are satisfied

pub fn context(&self) -> &LinearContext

Get the current context

pub fn context_mut(&mut self) -> &mut LinearContext

Get a mutable reference to the context

Trait Implementations

impl Clone for LinearityChecker

fn clone(&self) -> LinearityChecker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearityChecker

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

Formats the value using the given formatter.

impl Default for LinearityChecker

fn default() -> Self

Returns the “default value” for a type.