Module eval 

表达式求值：把 Expr 在给定赋值或全部赋值上求值。

Structs

Assignment

变量赋值：一组 变量名 → 取值。

EquivalenceResult

两个表达式在给定语义下是否等价（真值表完全相同）。

Enums

AssignmentCodecError

赋值编号编解码错误。

Functions

assignment_index

把赋值编码成编号；无效域返回 None。

decode_assignment

把三进制赋值编号解码为各变量的取值。

equivalent

判断两个表达式在给定语义下是否逻辑等价（默认预算）。

equivalent_within

带预算的穷举等价。

eval

单点求值：按赋值计算表达式值。

eval_bitwise

位并行求值：把表达式编译成对位平面的操作。

eval_within

带预算的单点求值。

truth_table

全真值表求值（默认预算）。

truth_table_within

带预算的真值表（限制 AST 深度/节点数、变量数与行数）。

try_assignment_index

把赋值编码成编号；无效域返回可分类的错误。

try_decode_assignment

把三进制赋值编号解码为各变量的取值；编号超出变量域时返回错误。

Type Aliases

VarMap

变量名 → 位平面下标的映射。