Struct Conflict 

pub struct Conflict {
    pub origin: Origin,
    pub atoms: Vec<String>,
    pub trace: Vec<TraceStep>,
}

A violated constraint (or a fact-level contradiction).

Fields

origin: Origin

Provenance of the violated constraint (source, line, premise name, kind).

atoms: Vec<String>

Human labels of the atoms participating in the contradiction.

trace: Vec<TraceStep>

The derivation chain that forced the participating atoms to the values which made the constraint fire — supporting facts first, then each rule built on them, ending at the conflict. This is the answer to “CONFLICT, but why?”. Empty for a direct FACT X + NOT X contradiction and for the <system> joint-unsatisfiability conflict (neither has a chain).

Trait Implementations

impl Clone for Conflict

fn clone(&self) -> Conflict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Conflict

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

Formats the value using the given formatter.

impl Eq for Conflict

impl PartialEq for Conflict

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