Enum SemanticTruth 

pub enum SemanticTruth {
    Neither,
    True,
    False,
    Both,
}

The four-valued semantic state derived from reachable support events.

Variants

Neither

Neither positive nor negative support is reachable.

True

Positive support, and no negative support, is reachable.

False

Negative support, and no positive support, is reachable.

Both

Both positive and negative support are reachable.

Implementations

impl SemanticTruth

pub const fn from_presence(pro: bool, contra: bool) -> Self

Maps exact positive/negative presence bits to the four-valued state.

pub const fn presence(self) -> (bool, bool)

Returns exact positive/negative presence bits.

Trait Implementations

impl Clone for SemanticTruth

fn clone(&self) -> SemanticTruth

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SemanticTruth

impl Debug for SemanticTruth

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

Formats the value using the given formatter.

impl Eq for SemanticTruth

impl Hash for SemanticTruth

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 PartialEq for SemanticTruth

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SemanticTruth