Enum rlifesrc_lib::search::backjump::ConflReason

pub enum ConflReason<R: Rule> {
    Rule(CellRef<R>),
    Sym(CellRef<R>, CellRef<R>),
    Front,
    Deduce,
}

Reasons for a conflict.

Variants

Rule(CellRef<R>)

Conflict from the rule when constitifying another cell.

Sym(CellRef<R>, CellRef<R>)

Conflict from symmetry.

Front

Conflict from non-empty-front condition.

Deduce

Conflict from other conditions.

A general reason used as a fallback.

Implementations

impl<R: Rule> ConflReason<R>

const fn should_analyze(&self) -> bool

Whether this reason should be analyzed before retreating.

Trait Implementations

impl<R: Rule> Clone for ConflReason<R>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<R: Rule> Debug for ConflReason<R>

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

Formats the value using the given formatter.

impl<R: Rule> PartialEq for ConflReason<R>

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<R: Rule> Copy for ConflReason<R>

impl<R: Rule> Eq for ConflReason<R>