Struct ReifiedPropagator 

pub struct ReifiedPropagator<WrappedPropagator> { /* private fields */ }

Propagator for the constraint r -> p, where r is a Boolean literal and p is an arbitrary propagator.

When a propagator is reified, it will only propagate whenever r is set to true. However, if the propagator implements Propagator::detect_inconsistency, the result of that method may be used to propagate r to false. If that method is not implemented, r will never be propagated to false.

Trait Implementations

impl<WrappedPropagator> Clone for ReifiedPropagator<WrappedPropagator>

where WrappedPropagator: Clone,

fn clone(&self) -> ReifiedPropagator<WrappedPropagator>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<WrappedPropagator> Debug for ReifiedPropagator<WrappedPropagator>

where WrappedPropagator: Debug,

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

Formats the value using the given formatter.

impl<WrappedPropagator> Propagator for ReifiedPropagator<WrappedPropagator>

where WrappedPropagator: Propagator + Clone,

fn notify( &mut self, context: NotificationContext<'_>, local_id: LocalId, event: OpaqueDomainEvent, ) -> EnqueueDecision

Returns whether the propagator should be enqueued for propagation when a [DomainEvent] happens to one of the variables the propagator is subscribed to (as registered during creation with [PropagatorConstructor] using [PropagatorConstructorContext::register]).

fn notify_backtrack( &mut self, context: Domains<'_>, local_id: LocalId, event: OpaqueDomainEvent, )

This function is called when the effect of a [DomainEvent] is undone during backtracking of one of the variables the propagator is subscribed to (as registered during creation with [PropagatorConstructor] using [PropagatorConstructorContext::register_backtrack]).

fn priority(&self) -> Priority

Returns the Priority of the propagator, used for determining the order in which propagators are called.

fn synchronise(&mut self, context: NotificationContext<'_>)

Called after backtracking, allowing the propagator to update its internal data structures given the new variable domains.

fn propagate(&mut self, context: PropagationContext<'_>) -> Result<(), Conflict>

Performs propagation with state (i.e., with being able to mutate internal data structures, as opposed to Propagator::propagate_from_scratch).

fn name(&self) -> &str

Return the name of the propagator.

fn propagate_from_scratch( &self, context: PropagationContext<'_>, ) -> Result<(), Conflict>

Performs propagation from scratch (i.e., without relying on updating internal data structures, as opposed to Propagator::propagate).

fn lazy_explanation( &mut self, code: u64, context: ExplanationContext<'_>, ) -> &[Predicate]

Hook which is called when a propagated Predicate should be explained using a lazy reason.

fn notify_predicate_id_satisfied( &mut self, _context: NotificationContext<'_>, _predicate_id: PredicateId, ) -> EnqueueDecision

Returns whether the propagator should be enqueued for propagation when a Predicate (with corresponding PredicateId) which the propagator is subscribed to (as registered either during using PropagationContext::register_predicate or during creation with [PropagatorConstructor] using [PropagatorConstructorContext::register_predicate]).

fn detect_inconsistency( &self, _domains: Domains<'_>, ) -> Option<PropagatorConflict>

A function which returns Some with a PropagatorConflict when this propagator can detect an inconsistency (and None otherwise).

fn log_statistics(&self, _statistic_logger: StatisticLogger)

Logs statistics of the propagator using the provided StatisticLogger.