Enum PropagationStatus 

pub enum PropagationStatus {
    OkNoChange,
    OkChanged,
    Failure,
}

Result of a single propagator invocation or propagation round.

Variants

OkNoChange

Propagation ran but no domain changed.

OkChanged

At least one domain was tightened.

Failure

A domain became empty, indicating a conflict.

Implementations

impl PropagationStatus

pub const fn is_failure(self) -> bool

Returns true when propagation detected a conflict.

pub const fn changed(self) -> bool

Returns true when propagation changed at least one domain.

pub const fn merge(self, other: Self) -> Self

Combines two statuses, preferring failure, then change.

Trait Implementations

impl Clone for PropagationStatus

fn clone(&self) -> PropagationStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PropagationStatus

impl Debug for PropagationStatus

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

Formats the value using the given formatter.

impl Eq for PropagationStatus

impl PartialEq for PropagationStatus

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