Struct EquivalenceResult 

pub struct EquivalenceResult {
    pub equivalent: bool,
    pub counterexample: Option<u64>,
    pub counterexample_assignment: Option<Assignment>,
    pub variable_count: usize,
}

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

Fields

equivalent: bool

是否等价。

counterexample: Option<u64>

第一个反例的赋值编号（None 表示等价或编号超出 u64）。

counterexample_assignment: Option<Assignment>

第一个反例的完整赋值（等价时为 None）。

variable_count: usize

参与比较的变量数。

Trait Implementations

impl Clone for EquivalenceResult

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 EquivalenceResult

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

Formats the value using the given formatter.

impl Eq for EquivalenceResult

impl PartialEq for EquivalenceResult

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for EquivalenceResult