Enum tribool::Tribool

pub enum Tribool {
    True,
    False,
    Indeterminate,
}

Three-state Boolean logic

Variants

True

Truth value

False

False value

Indeterminate

Unknown/Indeterminate value

Methods

impl Tribool

fn is_true(self) -> bool

Returns true only if self is True

fn is_false(self) -> bool

Returns true only if self is False

fn is_indeterminate(self) -> bool

Returns true only if self is Indeterminate

fn equals(self, rhs: Tribool) -> Tribool

Checks for equality of two Tribools, returning Indeterminate if either are indeterminate.

fn not_equals(self, rhs: Tribool) -> Tribool

Checks for inequality of two Tribools, returning Indeterminate if either are indeterminate.

fn kleene_implication(self, b: Tribool) -> Tribool

Material implication using Kleene Logic.

This is equivalent to NOT(A) OR B.

fn lukasiewicz_implication(self, b: Tribool) -> Tribool

Material implication using Łukasiewicz Logic

The Łukasiewicz Ł3 has the same tables for AND, OR, and NOT as the Kleene logic used elsewhere, but differs in its definition of implication in that "unknown implies unknown" is true.

For more information, see the Wikipedia page and the section on Łukasiewicz Logic

Trait Implementations

impl Debug for Tribool

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for Tribool

fn clone(&self) -> Tribool

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Tribool

impl Hash for Tribool

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].

impl Default for Tribool

fn default() -> Tribool

Returns the "default value" for a type.

impl FromStr for Tribool

type Err = ()

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Tribool, ()>

Parses a string s to return a value of this type.

impl Display for Tribool

fn fmt(&self, f: &mut Formatter) -> FmtResult

Formats the value using the given formatter.

impl<B: Into<Tribool> + Copy> PartialEq<B> for Tribool

fn eq(&self, rhs: &B) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, rhs: &B) -> bool

This method tests for !=.

impl<B: Into<Tribool> + Copy> PartialOrd<B> for Tribool

fn partial_cmp(&self, rhs: &B) -> Option<Ordering>

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

fn lt(&self, rhs: &B) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, rhs: &B) -> bool

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

fn gt(&self, rhs: &B) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, rhs: &B) -> bool

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

impl Not for Tribool

type Output = Tribool

The resulting type after applying the ! operator.

fn not(self) -> Tribool

Performs the unary ! operation.

impl<B: Into<Tribool>> BitAnd<B> for Tribool

type Output = Tribool

The resulting type after applying the & operator.

fn bitand(self, rhs: B) -> Tribool

Performs the & operation.

impl<B: Into<Tribool>> BitOr<B> for Tribool

type Output = Tribool

The resulting type after applying the | operator.

fn bitor(self, rhs: B) -> Tribool

Performs the | operation.

impl<B: Into<Tribool>> BitXor<B> for Tribool

type Output = Tribool

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: B) -> Tribool

Performs the ^ operation.

impl<B: Into<Tribool>> BitAndAssign<B> for Tribool

fn bitand_assign(&mut self, rhs: B)

Performs the &= operation.

impl<B: Into<Tribool>> BitOrAssign<B> for Tribool

fn bitor_assign(&mut self, rhs: B)

Performs the |= operation.

impl<B: Into<Tribool>> BitXorAssign<B> for Tribool

fn bitxor_assign(&mut self, rhs: B)

Performs the ^= operation.

impl From<bool> for Tribool

fn from(value: bool) -> Tribool

Performs the conversion.

impl<'a> Not for &'a Tribool

type Output = <Tribool as Not>::Output

The resulting type after applying the ! operator.

fn not(self) -> <Tribool as Not>::Output

Performs the unary ! operation.

impl<'a> BitAnd<Tribool> for &'a Tribool

type Output = <Tribool as BitAnd<Tribool>>::Output

The resulting type after applying the & operator.

fn bitand(self, other: Tribool) -> <Tribool as BitAnd<Tribool>>::Output

Performs the & operation.

impl<'a> BitAnd<&'a Tribool> for Tribool

type Output = <Tribool as BitAnd<Tribool>>::Output

The resulting type after applying the & operator.

fn bitand(self, other: &'a Tribool) -> <Tribool as BitAnd<Tribool>>::Output

Performs the & operation.

impl<'a, 'b> BitAnd<&'a Tribool> for &'b Tribool

type Output = <Tribool as BitAnd<Tribool>>::Output

The resulting type after applying the & operator.

fn bitand(self, other: &'a Tribool) -> <Tribool as BitAnd<Tribool>>::Output

Performs the & operation.

impl<'a> BitOr<Tribool> for &'a Tribool

type Output = <Tribool as BitOr<Tribool>>::Output

The resulting type after applying the | operator.

fn bitor(self, other: Tribool) -> <Tribool as BitOr<Tribool>>::Output

Performs the | operation.

impl<'a> BitOr<&'a Tribool> for Tribool

type Output = <Tribool as BitOr<Tribool>>::Output

The resulting type after applying the | operator.

fn bitor(self, other: &'a Tribool) -> <Tribool as BitOr<Tribool>>::Output

Performs the | operation.

impl<'a, 'b> BitOr<&'a Tribool> for &'b Tribool

type Output = <Tribool as BitOr<Tribool>>::Output

The resulting type after applying the | operator.

fn bitor(self, other: &'a Tribool) -> <Tribool as BitOr<Tribool>>::Output

Performs the | operation.

impl<'a> BitXor<Tribool> for &'a Tribool

type Output = <Tribool as BitXor<Tribool>>::Output

The resulting type after applying the ^ operator.

fn bitxor(self, other: Tribool) -> <Tribool as BitXor<Tribool>>::Output

Performs the ^ operation.

impl<'a> BitXor<&'a Tribool> for Tribool

type Output = <Tribool as BitXor<Tribool>>::Output

The resulting type after applying the ^ operator.

fn bitxor(self, other: &'a Tribool) -> <Tribool as BitXor<Tribool>>::Output

Performs the ^ operation.

impl<'a, 'b> BitXor<&'a Tribool> for &'b Tribool

type Output = <Tribool as BitXor<Tribool>>::Output

The resulting type after applying the ^ operator.

fn bitxor(self, other: &'a Tribool) -> <Tribool as BitXor<Tribool>>::Output

Performs the ^ operation.

impl<'a> BitAnd<bool> for &'a Tribool

type Output = <Tribool as BitAnd<bool>>::Output

The resulting type after applying the & operator.

fn bitand(self, other: bool) -> <Tribool as BitAnd<bool>>::Output

Performs the & operation.

impl<'a> BitAnd<&'a bool> for Tribool

type Output = <Tribool as BitAnd<bool>>::Output

The resulting type after applying the & operator.

fn bitand(self, other: &'a bool) -> <Tribool as BitAnd<bool>>::Output

Performs the & operation.

impl<'a, 'b> BitAnd<&'a bool> for &'b Tribool

type Output = <Tribool as BitAnd<bool>>::Output

The resulting type after applying the & operator.

fn bitand(self, other: &'a bool) -> <Tribool as BitAnd<bool>>::Output

Performs the & operation.

impl<'a> BitOr<bool> for &'a Tribool

type Output = <Tribool as BitOr<bool>>::Output

The resulting type after applying the | operator.

fn bitor(self, other: bool) -> <Tribool as BitOr<bool>>::Output

Performs the | operation.

impl<'a> BitOr<&'a bool> for Tribool

type Output = <Tribool as BitOr<bool>>::Output

The resulting type after applying the | operator.

fn bitor(self, other: &'a bool) -> <Tribool as BitOr<bool>>::Output

Performs the | operation.

impl<'a, 'b> BitOr<&'a bool> for &'b Tribool

type Output = <Tribool as BitOr<bool>>::Output

The resulting type after applying the | operator.

fn bitor(self, other: &'a bool) -> <Tribool as BitOr<bool>>::Output

Performs the | operation.

impl<'a> BitXor<bool> for &'a Tribool

type Output = <Tribool as BitXor<bool>>::Output

The resulting type after applying the ^ operator.

fn bitxor(self, other: bool) -> <Tribool as BitXor<bool>>::Output

Performs the ^ operation.

impl<'a> BitXor<&'a bool> for Tribool

type Output = <Tribool as BitXor<bool>>::Output

The resulting type after applying the ^ operator.

fn bitxor(self, other: &'a bool) -> <Tribool as BitXor<bool>>::Output

Performs the ^ operation.

impl<'a, 'b> BitXor<&'a bool> for &'b Tribool

type Output = <Tribool as BitXor<bool>>::Output

The resulting type after applying the ^ operator.

fn bitxor(self, other: &'a bool) -> <Tribool as BitXor<bool>>::Output

Performs the ^ operation.