Struct Equality 

pub struct Equality;

The equality normalizer: normalize.

Trait Implementations

impl Clone for Equality

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Equality

impl Debug for Equality

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

Formats the value using the given formatter.

impl Default for Equality

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Equality

impl Normalize for Equality

const INDEX: &'static str = "equality"

The kind of index the terms are for, as a refusal names it: "equality" for Equality, so a scalar it cannot normalize is reported as having no equality term.

type Term = Normalized

What one scalar becomes.

fn normalize( &self, ty: Option<Logical>, value: Physical<'_>, ) -> Result<Normalized, NormalizeError>

The term for one scalar, or why it has none.

impl PartialEq for Equality

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Equality