Struct PEEnv 

pub struct PEEnv { /* private fields */ }

Partial-evaluation environment: a map from variable name to its known PEValue.

Variables are represented as zero-arity predicates in TLExpr (e.g. Pred { name: "x", args: [] }). This environment records which of those logical variables have been concretised.

Implementations

impl PEEnv

pub fn new() -> Self

Create an empty environment.

pub fn with_f64(self, var: impl Into<String>, val: f64) -> Self

Builder-style helper: bind a floating-point variable.

pub fn with_bool(self, var: impl Into<String>, val: bool) -> Self

Builder-style helper: bind a boolean variable.

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

Mutably bind a floating-point variable.

pub fn bind_bool(&mut self, var: impl Into<String>, val: bool)

Mutably bind a boolean variable.

pub fn lookup(&self, var: &str) -> Option<&PEValue>

Look up a variable in the environment.

pub fn extend(&self, var: impl Into<String>, val: PEValue) -> PEEnv

Return a new environment extended with one additional binding. The original environment is not mutated.

pub fn len(&self) -> usize

Number of bindings in this environment.

pub fn is_empty(&self) -> bool

Returns true when the environment has no bindings.

Trait Implementations

impl Clone for PEEnv

fn clone(&self) -> PEEnv

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PEEnv

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

Formats the value using the given formatter.

impl Default for PEEnv

fn default() -> PEEnv

Returns the “default value” for a type.