Enum TernaryVal

#[repr(u8)]
pub enum TernaryVal {
    True = 0,
    False = 1,
    DontCare = 2,
}

Ternary value assigned to a literal or variable, including possible “don’t care”

Variants

True = 0

Positive assignment.

False = 1

Negative assignment.

DontCare = 2

Formula is satisfied, no matter the assignment.

Implementations

impl TernaryVal

pub fn to_bool_with_def(self, def: bool) -> bool

Converts a TernaryVal to a bool with a default value for “don’t cares”

Trait Implementations

impl Clone for TernaryVal

fn clone(&self) -> TernaryVal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TernaryVal

Ternary values can be printed with the Debug trait

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

Formats the value using the given formatter.

impl Default for TernaryVal

fn default() -> TernaryVal

Returns the “default value” for a type.

impl Display for TernaryVal

Ternary values can be printed with the Display trait

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

Formats the value using the given formatter.

impl From<bool> for TernaryVal

fn from(value: bool) -> Self

Converts to this type from the input type.

impl FromIterator<TernaryVal> for Assignment

fn from_iter<T: IntoIterator<Item = TernaryVal>>(iter: T) -> Self

Creates a value from an iterator.

impl Neg for TernaryVal

type Output = TernaryVal

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Not for TernaryVal

type Output = TernaryVal

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl PartialEq for TernaryVal

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

impl Eq for TernaryVal

impl StructuralPartialEq for TernaryVal