Enum PremiseOperator 

pub enum PremiseOperator {
    Eq,
    Neq,
    Lt,
    Gt,
    Le,
    Ge,
}

Relational operator in a rule premise (§2.8.2).

Variants

Eq

Equal.

Neq

Not equal.

Lt

Less than.

Gt

Greater than.

Le

Less than or equal.

Ge

Greater than or equal.

Trait Implementations

impl Clone for PremiseOperator

fn clone(&self) -> PremiseOperator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PremiseOperator

impl Debug for PremiseOperator

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

Formats the value using the given formatter.

impl Eq for PremiseOperator

impl PartialEq for PremiseOperator

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