Enum EpistemicClass 

#[repr(u8)]
pub enum EpistemicClass {
    Unknown = 0,
    Observation = 1,
    Evidence = 2,
    Inference = 3,
    Hypothesis = 4,
}

Epistemic classification of a memory block.

Stored in the flags byte of BlockHeader (bits 0-2). Only Observation and Evidence may be used as supports for other claims (invariant C3).

Variants

Unknown = 0

Observation = 1

Evidence = 2

Inference = 3

Hypothesis = 4

Implementations

impl EpistemicClass

pub fn from_flags(flags: u8) -> Self

Extract from the lower 3 bits of a flags byte.

pub fn into_flags(self, existing: u8) -> u8

Encode into the lower 3 bits of a flags byte, preserving upper bits.

pub fn can_support(self) -> bool

True for classes that may appear as supports (C3).

Trait Implementations

impl Clone for EpistemicClass

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 EpistemicClass

impl Debug for EpistemicClass

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

Formats the value using the given formatter.

impl Display for EpistemicClass

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

Formats the value using the given formatter.

impl Eq for EpistemicClass

impl FromStr for EpistemicClass

type Err = String

The associated error which can be returned from parsing.

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

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

impl Hash for EpistemicClass

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 EpistemicClass

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EpistemicClass