Module expr 

Symbolic expression integration for the problem-reduction domain.

Structs

BigInt

A big signed integer type.

Expr

A cheap, immutable handle to a shared symbolic expression node.

ExprNodeId

Opaque identity used to memoize one traversal of an expression DAG.

ParseError

SubstitutionError

Symbol

A validated problem-size variable name.

Enums

ApproximationError

AsymptoticAnalysisError

Error returned when analyzing asymptotic behavior.

ExprNode

One immutable node in a symbolic expression DAG.

Functions

evaluate_approximate

Evaluate an expression numerically at an explicitly approximate boundary.