Enum Equality 

pub enum Equality {
    Equal(Relational, Relational),
    NotEqual(Relational, Relational),
    Primary(Box<Primary>),
}

Equality expression node.

Represents == and != over Relational operands, or a flattened Primary expression when no equality operator is present.

Variants

Equal(Relational, Relational)

NotEqual(Relational, Relational)

Primary(Box<Primary>)

Flattened primary when no equality is used.

Implementations

impl Equality

pub fn print(&self, writer: &mut Writer)

Write the expression in formula form using the given writer.

Trait Implementations

impl Clone for Equality

fn clone(&self) -> Equality

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Equality

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

Formats the value using the given formatter.

impl Display for Equality

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

Formats the value using the given formatter.

impl ExpressionLike for Equality

fn evaluate(&self, context: &mut dyn ContextLike) -> Result<Arc<Value>>

Evaluate to a boolean literal or propagate errors.

fn to_formula(&self) -> String

Return the formula-string representation (round-trippable by the parser).

impl PartialEq for Equality

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

fn write(&self, writer: &mut Writer)

Serialize this expression with the given Writer.

fn to_stringized(&self) -> String

Return a string representation (raw unsafe output).

fn to_sanitized(&self) -> String

Return a sanitized string representation (escaped for safe output).

fn to_expressionized(&self) -> String

Return a sanitized string representation (escaped for safe output).

impl StructuralPartialEq for Equality