Struct Fact 

pub struct Fact {
    pub atom: AtomId,
    pub value: Value,
    pub origin: Origin,
    pub soft: bool,
}

A confident fact (from FACT / NOT). Conflicting facts on the same atom are preserved (both kept) — the solver reports that as a CONFLICT.

Fields

atom: AtomId

The atom this fact pins down.

value: Value

The asserted truth value.

origin: Origin

Where it came from (for the report).

soft: bool

true for an ASSUME (a soft, retractable hypothesis). A soft fact behaves like a normal fact in the forward pass, but when the assumptions cannot all hold the solver may drop it (and only it) to explain the contradiction — a FACT/NOT is never retractable.

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fact

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

Formats the value using the given formatter.

impl Eq for Fact

impl PartialEq for Fact

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