Enum Reason 

pub enum Reason {
    Eager(PropositionalConjunction, InferenceCode),
    DynamicLazy(u64),
}

A reason for CP propagator to make a change

Variants

Eager(PropositionalConjunction, InferenceCode)

An eager reason contains the propositional conjunction with the reason, without the propagated predicate, and the InferenceCode identifying the explanation algorithm.

DynamicLazy(u64)

A lazy reason, which is computed on-demand rather than up-front. This is also referred to as a ‘backward’ reason.

A lazy reason contains a payload that propagators can use to identify what type of propagation the reason is for. The payload should be enough for the propagator to construct an explanation based on its internal state. The InferenceCode is returned by crate::propagation::Propagator::lazy_explanation on demand.

Trait Implementations

impl Debug for Reason

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

Formats the value using the given formatter.

impl From<(PropositionalConjunction, &InferenceCode)> for Reason

fn from((conj, code): (PropositionalConjunction, &InferenceCode)) -> Self

Converts to this type from the input type.

impl From<u64> for Reason

fn from(value: u64) -> Self

Converts to this type from the input type.

impl From<usize> for Reason

fn from(value: usize) -> Self

Converts to this type from the input type.