propaga-core 0.1.0

Core types and traits for the Propaga constraint solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

use crate::{PropagationContext, PropagationStatus, VariableId};

/// A constraint propagator that reacts to domain changes on watched variables.
pub trait Propagator {
    /// Variables whose domains this propagator depends on.
    fn watched_variables(&self) -> &[VariableId];

    /// Tightens watched domains according to the constraint.
    fn propagate(&mut self, ctx: &mut dyn PropagationContext) -> PropagationStatus;

    /// Scheduling priority. Lower values run first.
    fn priority(&self) -> u32 {
        0
    }
}