Skip to main content

run_partial_evaluator_local

Function run_partial_evaluator_local 

Source
pub fn run_partial_evaluator_local(
    expr: &Expression,
) -> Result<RuleEffect, ApplicationError>
Expand description

Partially evaluates expr using only information already available at the focused node.

This is intended for the main rewriter, where recursive simplification is supplied by the scheduler. Use run_partial_evaluator when a caller explicitly wants semantic checks that can inspect referenced expressions.