selen 0.15.5

Constraint Satisfaction Problem (CSP) solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

use crate::variables::views::Context;
use crate::variables::VarId;
use crate::constraints::props::{Prune};

/// A no-operation propagator that does nothing when invoked.
/// Used for branching operations that have already applied domain filtering directly.
#[derive(Clone, Debug)]
#[doc(hidden)]
pub struct NoOp;

impl NoOp {
    /// Create a new no-operation propagator.
    pub fn new() -> Self {
        Self
    }
}

impl Prune for NoOp {
    fn prune(&self, _ctx: &mut Context) -> Option<()> {
        // Do nothing - domain filtering was already applied during branching
        Some(())
    }
}

impl crate::constraints::props::Propagate for NoOp {
    fn list_trigger_vars(&self) -> impl Iterator<Item = VarId> {
        // No dependencies - this propagator never needs to be re-scheduled
        core::iter::empty()
    }
}