Struct EquationEval 

pub struct EquationEval {
    pub equation_id: String,
    pub inputs: IndexMap<String, f64>,
    pub result: f64,
    pub expected: Option<f64>,
    pub error: Option<f64>,
    pub z3_verified: Option<bool>,
}

Equation evaluation record (EDD-17).

Every equation evaluation MUST be logged with inputs, result, and optional expected value for verification.

Fields

equation_id: String

Equation identifier from EMC (e.g., two_opt_delta, tour_length)

inputs: IndexMap<String, f64>

Input values with variable names

result: f64

Computed result

expected: Option<f64>

Expected result (if known analytically)

error: Option<f64>

Absolute error (|result - expected| if expected is known)

z3_verified: Option<bool>

Whether Z3 verified this computation

Implementations

impl EquationEval

pub fn new(equation_id: impl Into<String>, result: f64) -> Self

Create a new equation evaluation record.

pub fn with_input(self, name: impl Into<String>, value: f64) -> Self

Add an input variable.

pub fn with_expected(self, expected: f64) -> Self

Set expected value and compute error.

pub fn with_z3_verified(self, verified: bool) -> Self

Mark as Z3 verified.

pub fn is_correct(&self, tolerance: f64) -> bool

Check if result matches expected within tolerance.

Trait Implementations

impl Clone for EquationEval

fn clone(&self) -> EquationEval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EquationEval

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EquationEval

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for EquationEval

fn eq(&self, other: &EquationEval) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for EquationEval

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for EquationEval