Expand description
Shared restricted-expression evaluators.
bicmath-core owns the expression AST and parser. This module provides the
one shared evaluation walk used by modules that must evaluate expressions
they receive as data (verification, optimization, interval analysis).
Function resolution is delegated to a caller-supplied table, so each module
controls exactly which functions are reachable. No arbitrary code is ever
evaluated.
Structs§
Functions§
- evaluate_
f64 - Evaluate an expression in binary64, using a caller-supplied function table.
- evaluate_
number - Evaluate an expression exactly, using the shared numeric contract.
Type Aliases§
- Float
Calls - Function table for float64 evaluation.
- Number
Calls - Function table for exact-number evaluation.