Struct HypercubeLinearPropagator 

pub struct HypercubeLinearPropagator { /* private fields */ }

A Propagator for the hypercube linear constraint.

Trait Implementations

impl Clone for HypercubeLinearPropagator

fn clone(&self) -> HypercubeLinearPropagator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HypercubeLinearPropagator

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

Formats the value using the given formatter.

impl Propagator for HypercubeLinearPropagator

fn name(&self) -> &str

Return the name of the propagator.

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 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 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 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 synchronise(&mut self, _context: NotificationContext<'_>)

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

fn priority(&self) -> Priority

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

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 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 log_statistics(&self, _statistic_logger: StatisticLogger)

Logs statistics of the propagator using the provided StatisticLogger.