Struct RefinementContext 

pub struct RefinementContext { /* private fields */ }

Context for evaluating dependent refinement predicates.

Implementations

impl RefinementContext

pub fn new() -> Self

Create a new empty context.

pub fn set_value(&mut self, var: impl Into<String>, value: f64)

Set a variable’s value.

pub fn get_value(&self, var: &str) -> Option<&f64>

Get a variable’s value.

pub fn set_type(&mut self, var: impl Into<String>, ty: RefinementType)

Set a variable’s type.

pub fn get_type(&self, var: &str) -> Option<&RefinementType>

Get a variable’s type.

pub fn has_variable(&self, var: &str) -> bool

Check if a variable exists in the context.

pub fn variables(&self) -> Vec<&str>

Get all variable names.

Trait Implementations

impl Clone for RefinementContext

fn clone(&self) -> RefinementContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RefinementContext

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

Formats the value using the given formatter.

impl Default for RefinementContext

fn default() -> RefinementContext

Returns the “default value” for a type.