Enum Logic3

pub enum Logic3 {
    L,
    H,
    X,
}

Three-valued logic. In contrast to bivalent logic values such as bool this logic type also encodes the unknown value X.

Variants

L

Low, zero or ‘false’.

H

High, one or ’true.

X

Value for representing unknown/undecidable/both/irrelevant.

Trait Implementations

impl BitAnd for Logic3

type Output = Logic3

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitOr for Logic3

type Output = Logic3

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl BitXor for Logic3

type Output = Logic3

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.

impl Clone for Logic3

fn clone(&self) -> Logic3

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Logic3

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

Formats the value using the given formatter.

impl Default for Logic3

fn default() -> Logic3

Returns the “default value” for a type.

impl From<Option<bool>> for Logic3

fn from(value: Option<bool>) -> Self

Converts to this type from the input type.

impl From<bool> for Logic3

fn from(value: bool) -> Self

Converts to this type from the input type.

impl Hash for Logic3

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 LogicValue for Logic3

fn value(idx: usize) -> Self

List of possible logic values.

fn zero() -> Self

Additive neutral element.

fn one() -> Self

Multiplicative neutral element.

fn num_values() -> usize

Get number of different values that this type can have.

impl Not for Logic3

type Output = Logic3

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for Logic3

fn eq(&self, other: &Logic3) -> 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 TryInto<bool> for Logic3

type Error = ()

The type returned in the event of a conversion error.

fn try_into(self) -> Result<bool, Self::Error>

Performs the conversion.

impl Copy for Logic3

impl Eq for Logic3

impl StructuralPartialEq for Logic3