Enum BooleanOperator

#[repr(u8)]
pub enum BooleanOperator {
    And = 0,
    Or = 1,
    Xor = 2,
    Equiv = 3,
    Nand = 4,
    Nor = 5,
    Imp = 6,
    ImpStrict = 7,
}

Binary operators on Boolean functions

The operators are used by the combined apply and quantification operations of the BooleanFunctionQuant trait. The operators themselves correspond to the ones defined in BooleanFunction.

Variants

And = 0

Conjunction lhs ∧ rhs

Or = 1

Disjunction lhs ∨ rhs

Xor = 2

Exclusive disjunction lhs ⊕ rhs

Equiv = 3

Equivalence lhs ↔ rhs

Nand = 4

Negated conjunction lhs ⊼ rhs

Nor = 5

Negated disjunction lhs ⊽ rhs

Imp = 6

Implication lhs → rhs

ImpStrict = 7

Strict implication lhs < rhs

Trait Implementations

impl Clone for BooleanOperator

fn clone(&self) -> BooleanOperator

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Countable for BooleanOperator

cbindgen:ignore

const MAX_VALUE: usize = 7usize

Maximum value returned by self.as_usize().

fn as_usize(self) -> usize

Convert self into a usize.

fn from_usize(value: usize) -> Self

Convert the given value into an instance of Self.

impl Debug for BooleanOperator

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

Formats the value using the given formatter.

impl Display for BooleanOperator

cbindgen:ignore

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

Formats the value using the given formatter.

impl Hash for BooleanOperator

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for BooleanOperator

fn cmp(&self, other: &BooleanOperator) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for BooleanOperator

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

fn partial_cmp(&self, other: &BooleanOperator) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for BooleanOperator

impl Eq for BooleanOperator

impl StructuralPartialEq for BooleanOperator