Enum SimplifyError 

#[non_exhaustive]
pub enum SimplifyError {
    DeadSumOut {
        variables: Vec<VariableId>,
    },
    DeadIntegralOut {
        variables: Vec<VariableId>,
    },
}

Errors surfaced by the crate’s simplify entry points when they detect an ill-formed estimand instead of silently rewriting it.

eval_sum_out / eval_integral_out (crate::eval) evaluate SumOut / IntegralOut as a literal, unnormalized sum/integral over support(variables). A well-formed estimand always folds a P(v|·) factor into the body for each bound variable v, so the body’s free variables always intersect variables. If they don’t, the node is malformed: collapsing it to its body (the old behavior) would silently divide the true value by |support(v)| (SumOut) or drop the integration measure entirely (IntegralOut). Rather than guess, simplify fails closed and reports it.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

DeadSumOut

A SumOut binds variable(s) that are absent from the free variables of its body.

Fields

variables: Vec<VariableId>

The bound variables, none of which occur free in the summed body.

DeadIntegralOut

An IntegralOut binds variable(s) that are absent from the free variables of its body.

Fields

variables: Vec<VariableId>

The bound variables, none of which occur free in the integrated body.

Trait Implementations

impl Clone for SimplifyError

fn clone(&self) -> SimplifyError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimplifyError

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

Formats the value using the given formatter.

impl Display for SimplifyError

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

Formats the value using the given formatter.

impl Eq for SimplifyError

impl Error for SimplifyError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for SimplifyError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SimplifyError