Enum Kleene3Val 

pub enum Kleene3Val {
    False,
    Unknown,
    True,
}

A simple Kleene three-valued logic evaluator.

Variants

False

Definitely false.

Unknown

Unknown/undecided.

True

Definitely true.

Implementations

impl Kleene3Val

pub fn not(self) -> Self

Kleene NOT operation.

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

Kleene AND operation: min of values.

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

Kleene OR operation: max of values.

pub fn from_bool(b: bool) -> Self

Convert from Bool to Kleene3.

Trait Implementations

impl Clone for Kleene3Val

fn clone(&self) -> Kleene3Val

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Kleene3Val

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

Formats the value using the given formatter.

impl PartialEq for Kleene3Val

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

impl Eq for Kleene3Val

impl StructuralPartialEq for Kleene3Val