Enum AnySolution 

pub enum AnySolution {
    Eml(Solution),
    Affine(AffineSolution),
}

A discovered law from either engine, exposing a common accuracy/complexity interface.

Variants

Eml(Solution)

A law from the EML-tree core (enumerate / Gumbel / gated / oxieml-symreg). Carries the full downstream capability surface (analyze / certified-root / proofs / codegen) via the inner Solution.

Affine(AffineSolution)

A law from the rich-leaf affine engine (Linear / LogLinear leaves over guarded eml).

Implementations

impl AnySolution

pub fn complexity(&self) -> usize

Structural complexity (lower is simpler): EML node count for Self::Eml, active-parameter count for Self::Affine. Both measure “number of structural pieces” — commensurable enough to share one Pareto axis.

pub fn mse(&self) -> f64

Mean-squared error on the training data (lower is better).

pub fn source(&self) -> &'static str

A short identifier of the producing engine ("eml" / "affine"), for display.

pub fn is_symbolic(&self) -> bool

Whether this is a clean symbolic recovery. An EML law is exact in its own algebra, so it reports true; an affine law reports true only when its exponents/slopes snapped to small rationals / named constants while retaining R² ≥ 0.999 (see AffineSolution::symbolic).

pub fn expr(&self) -> String

A human-readable expression.

pub fn latex(&self) -> String

A LaTeX rendering of the law.

pub fn predict(&self, x: &Array2<f64>) -> Result<Array1<f64>>

Evaluate the law on new data x ([n_rows, n_vars]).

Errors

Returns crate::PhopError if the EML forward fails (the affine forward is total).

pub fn as_eml(&self) -> Option<&Solution>

The underlying EML Solution if this came from the core engine — the handle for the analyze / certified-root / proof / codegen capabilities the affine engine does not provide.

pub fn dominates(&self, other: &Self) -> bool

Weak Pareto domination over (complexity, MSE): no worse in either, strictly better in one.

Trait Implementations

impl Clone for AnySolution

fn clone(&self) -> AnySolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnySolution

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

Formats the value using the given formatter.