Enum ComputationEquivalence

pub enum ComputationEquivalence {
    Equal,
    EqualOrTimeout,
    NotEqual,
}

Represents the equivalence between two encodings.

Variants

Equal

All computations are equal.

EqualOrTimeout

No cases were found where computations were provably not equal, but at least one of the comparisons timed out.

NotEqual

At least one computation is not equal.

Implementations

impl ComputationEquivalence

pub fn of<'ctx, A: Arch, C: Computation + PartialEq + AsComputationRef, S: SmtSolver<'ctx>>( mapping: &PartIndexMapping, options: &EncodingComparisonOptions, a: &Encoding<A, C>, b: &Encoding<A, C>, context: &mut S, ) -> ComputationEquivalence

Determines the equalvalence of two encodings.

Trait Implementations

impl Clone for ComputationEquivalence

fn clone(&self) -> ComputationEquivalence

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ComputationEquivalence

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

Formats the value using the given formatter.

impl PartialEq for ComputationEquivalence

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ComputationEquivalence

impl Eq for ComputationEquivalence

impl StructuralPartialEq for ComputationEquivalence