ac3rm 0.1.0

An incremental AC-3rm propagator in Rust with dynamic assertion and retraction of constraints
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

use crate::ConstraintId;
use std::{
    collections::{HashMap, HashSet},
    fmt,
};

#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct VarId(pub usize);

impl fmt::Display for VarId {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "e{}", self.0)
    }
}

#[derive(Debug, Clone)]
pub(super) struct ValueState {
    pub(super) value: i32,
    pub(super) killers: HashSet<ConstraintId>,
}

#[derive(Debug, Clone)]
pub(super) struct Variable {
    pub(super) domain: Vec<ValueState>,
    pub(super) index_by_value: HashMap<i32, usize>,
}