Enum Certainty 

pub enum Certainty {
    Assumed,
    Known,
}

How certain we are about a proposition’s recorded value.

Variants

Assumed

A pass’s heuristic guess; can be contradicted by set_known (recording a Violation).

Known

Proven by a verification pass; survives checkpoint+replay rounds.

Trait Implementations

impl Clone for Certainty

fn clone(&self) -> Certainty

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Certainty

impl Debug for Certainty

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Certainty

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Certainty

impl PartialEq for Certainty

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Certainty

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Certainty