Struct Evaluator 

pub struct Evaluator { /* private fields */ }

位并行求值器：把表达式在全部 3^n 组赋值上求值。

Implementations

impl Evaluator

pub fn new(algebra: Algebra) -> Self

新建求值器。

pub fn algebra(&self) -> Algebra

语义体系。

pub fn variables(&self) -> &[String]

变量名列表。

pub fn declare(&mut self, name: impl Into<String>) -> usize

登记变量（重复登记返回原编号）。

pub fn assignment_count(&self) -> Result<u64, LimitError>

赋值总数 3^n；3^n 超出 u64 时返回 LimitError::CountOverflow。

pub fn chunk_planes(&self, base: u64) -> Result<Vec<TriBit>, LimitError>

构造一个 64 组分块中各变量的位平面。

base 是该分块首个赋值的编号，必须是 64 的倍数且 base + 63 不溢出； 否则返回 LimitError::ChunkBase。变量 i 的取值由赋值编号的第 i 个三进制位决定（0 → 0，1 → 1，2 → X）。

pub fn evaluate<F>(&self, f: F) -> Result<TruthTable, LimitError>

where F: Fn(&[TriBit]) -> TriBit,

在全部 3^n 组赋值上求值（默认预算）。

内部按 64 组一块做位并行计算，再展开为逐组结果。

pub fn evaluate_within<F>( &self, f: F, limits: Limits, ) -> Result<TruthTable, LimitError>

where F: Fn(&[TriBit]) -> TriBit,

同 Evaluator::evaluate，但可指定变量数与行数预算。

预算在分配结果表之前检查：3^n 用 checked 计算，行数先与 Limits::max_rows 比较，再做可失败转换与分配。

Trait Implementations

impl Clone for Evaluator

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Evaluator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.