Enum PEValue 

pub enum PEValue {
    Concrete(f64),
    Boolean(bool),
    Symbolic(TLExpr),
}

A value in partial evaluation — either a concrete numeric scalar, a concrete boolean, or still symbolic (cannot be reduced further with current environment).

Variants

Concrete(f64)

A concrete floating-point scalar.

Boolean(bool)

A concrete boolean truth value.

Symbolic(TLExpr)

Still symbolic — cannot be further reduced.

Implementations

impl PEValue

pub fn is_concrete(&self) -> bool

Returns true when the value is fully concrete (numeric or boolean).

pub fn as_f64(&self) -> Option<f64>

Extracts the f64 if this is a PEValue::Concrete, otherwise None.

pub fn as_bool(&self) -> Option<bool>

Extracts the bool if this is a PEValue::Boolean, otherwise None. A Concrete(1.0) is treated as true; Concrete(0.0) as false.

pub fn to_expr(&self) -> TLExpr

Convert this value back into a TLExpr.

Trait Implementations

impl Clone for PEValue

fn clone(&self) -> PEValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PEValue

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

Formats the value using the given formatter.