Enum ChangeReason 

pub enum ChangeReason {
    Branch {
        variable: VariableId,
        value: i32,
    },
    Propagator {
        propagator: PropagatorId,
        variable: VariableId,
        removed_value: Option<i32>,
        bound: Option<(BoundKind, i32)>,
    },
    PropagatorConflict {
        literals: Vec<(VariableId, i32)>,
    },
}

Why a domain change occurred.

Variants

Branch

Search assigned a value during branching.

Fields

variable: VariableId

value: i32

Propagator

A propagator removed values or tightened bounds.

Fields

propagator: PropagatorId

variable: VariableId

removed_value: Option<i32>

bound: Option<(BoundKind, i32)>

PropagatorConflict

A propagator detected infeasibility and recorded contributing assignments.

Fields

literals: Vec<(VariableId, i32)>

Branch literals that jointly caused the conflict.

Trait Implementations

impl Clone for ChangeReason

fn clone(&self) -> ChangeReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChangeReason

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

Formats the value using the given formatter.

impl Eq for ChangeReason

impl PartialEq for ChangeReason

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