Struct Explanation 

pub struct Explanation { /* private fields */ }

Collected explanation for the latest conflict or propagation round.

Implementations

impl Explanation

pub fn branch_literals(&self) -> impl Iterator<Item = NogoodLiteral> + '_

Returns branch literals in chronological order.

pub fn propagator_conflict_literals(&self) -> Option<Vec<NogoodLiteral>>

Returns literals from the most recent propagator-recorded conflict, if any.

pub fn unique_branch_literals(&self) -> Vec<NogoodLiteral>

Returns unique branch literals, keeping the latest assignment per variable.

impl Explanation

pub fn new() -> Self

Creates an empty explanation.

pub fn entries(&self) -> &[ChangeReason]

Returns recorded change reasons.

pub fn record(&mut self, reason: ChangeReason)

Records a change reason.

pub fn reset(&mut self)

Clears all recorded reasons.

pub fn truncate(&mut self, len: usize)

Truncates the log to the first len entries.

Trait Implementations

impl Clone for Explanation

fn clone(&self) -> Explanation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Explanation

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

Formats the value using the given formatter.

impl Default for Explanation

fn default() -> Explanation

Returns the “default value” for a type.

impl Eq for Explanation

impl PartialEq for Explanation

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