Trait Logic

pub trait Logic {
    // Required methods
    fn top() -> Self;
    fn bottom() -> Self;
    fn and(self, other: Self) -> Self;
    fn or(self, other: Self) -> Self;
    fn not(self) -> Self;
}

A propositional logic used to evaluate Expression instances.

An Expression consists of some predicates and the any, all and not operators. An implementation of Logic defines how the any, all and not operators should be evaluated.

Required Methods

fn top() -> Self

The result of an all operation with no operands, akin to Boolean true.

fn bottom() -> Self

The result of an any operation with no operands, akin to Boolean false.

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

AND, which corresponds to the all operator.

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

OR, which corresponds to the any operator.

fn not(self) -> Self

NOT, which corresponds to the not operator.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Logic for Option<bool>

A three-valued logic – None stands for the value being unknown.

The truth tables for this logic are described on Wikipedia.

fn top() -> Self

fn bottom() -> Self

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

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

fn not(self) -> Self

impl Logic for bool

A boolean logic.

fn top() -> Self

fn bottom() -> Self

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

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

fn not(self) -> Self

Implementors