Enum TrileanDomain 

pub enum TrileanDomain {
    Bottom,
    False,
    True,
    Top,
}

The three-valued logic domain (maybe, true, false).

Variants

Bottom

False

True

Top

Implementations

impl TrileanDomain

pub fn from_bool(b: bool) -> Self

Create from a concrete bool.

pub fn and(&self, other: &TrileanDomain) -> TrileanDomain

Logical AND of two trileans.

pub fn or(&self, other: &TrileanDomain) -> TrileanDomain

Logical OR of two trileans.

pub fn not(&self) -> TrileanDomain

Logical NOT.

pub fn join(&self, other: &TrileanDomain) -> TrileanDomain

Join two trileans.

pub fn is_definitely_true(&self) -> bool

Return whether this is definitely true.

pub fn may_be_true(&self) -> bool

Return whether this might be true.

Trait Implementations

impl Clone for TrileanDomain

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TrileanDomain

impl Debug for TrileanDomain

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

Formats the value using the given formatter.

impl Eq for TrileanDomain

impl PartialEq for TrileanDomain

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for TrileanDomain