Module symbolic 

AIR builder that collects the constraints expressed via the Air trait into a directed acyclic graph of symbolic expressions for serialization purposes.

Modules

statistics

symbolic_expression

symbolic_variable

Structs

SymbolicConstraints

Symbolic constraints for a single AIR with interactions.

SymbolicConstraintsDag

SymbolicDagBuilder

Builder for constructing a symbolic expression DAG with structural deduplication and algebraic simplifications.

SymbolicExpressionDag

SymbolicRapBuilder

An AirBuilder for evaluating constraints symbolically, and recording them for later use.

Enums

SymbolicExpressionNode

A node in symbolic expression DAG. Basically replace Arcs in SymbolicExpression with node IDs. Intended to be serializable and deserializable.

Functions

get_symbolic_builder