Enum Reason 

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

A reason for CP propagator to make a change

Variants

Eager(PropositionalConjunction)

An eager reason contains the propositional conjunction with the reason, without the propagated predicate.

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.

Trait Implementations

impl Debug for Reason

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

Formats the value using the given formatter.

impl From<PropositionalConjunction> for Reason

fn from(value: PropositionalConjunction) -> Reason

Converts to this type from the input type.

impl From<u64> for Reason

fn from(value: u64) -> Reason

Converts to this type from the input type.

impl From<usize> for Reason

fn from(value: usize) -> Reason

Converts to this type from the input type.