Enum ExprDiff 

pub enum ExprDiff {
    Identical,
    TypeMismatch {
        left: String,
        right: String,
    },
    PredicateMismatch {
        left: String,
        right: String,
    },
    SubexprMismatch {
        path: Vec<String>,
        left: String,
        right: String,
    },
    QuantifierMismatch {
        left_var: String,
        right_var: String,
        left_domain: String,
        right_domain: String,
    },
}

Difference between two expressions

Variants

Identical

Expressions are identical

TypeMismatch

Different expression types

Fields

left: String

right: String

PredicateMismatch

Different predicate names or arities

Fields

left: String

right: String

SubexprMismatch

Different subexpressions

Fields

path: Vec<String>

left: String

right: String

QuantifierMismatch

Different quantifier variables or domains

Fields

left_var: String

right_var: String

left_domain: String

right_domain: String

Implementations

impl ExprDiff

pub fn is_identical(&self) -> bool

Check if expressions are identical

pub fn description(&self) -> String

Get human-readable description

Trait Implementations

impl Clone for ExprDiff

fn clone(&self) -> ExprDiff

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprDiff

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

Formats the value using the given formatter.

impl PartialEq for ExprDiff

fn eq(&self, other: &ExprDiff) -> 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 Eq for ExprDiff

impl StructuralPartialEq for ExprDiff