solverforge-solver 0.12.0

Solver engine for SolverForge
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106

use crate::planning::ScalarEdit;

#[derive(Debug, Clone, Copy)]
pub struct RepairLimits {
    pub max_matches_per_step: usize,
    pub max_repairs_per_match: usize,
    pub max_moves_per_step: usize,
}

#[derive(Debug)]
pub struct RepairCandidate<S> {
    reason: &'static str,
    edits: Vec<ScalarEdit<S>>,
}

impl<S> Clone for RepairCandidate<S> {
    fn clone(&self) -> Self {
        Self {
            reason: self.reason,
            edits: self.edits.clone(),
        }
    }
}

impl<S> PartialEq for RepairCandidate<S> {
    fn eq(&self, other: &Self) -> bool {
        self.reason == other.reason && self.edits == other.edits
    }
}

impl<S> Eq for RepairCandidate<S> {}

impl<S> std::hash::Hash for RepairCandidate<S> {
    fn hash<H: std::hash::Hasher>(&self, state: &mut H) {
        self.reason.hash(state);
        self.edits.hash(state);
    }
}

impl<S> RepairCandidate<S> {
    pub fn new(reason: &'static str, edits: Vec<ScalarEdit<S>>) -> Self {
        Self { reason, edits }
    }

    #[doc(hidden)]
    #[inline]
    pub fn reason(&self) -> &'static str {
        self.reason
    }

    #[doc(hidden)]
    #[inline]
    pub fn edits(&self) -> &[ScalarEdit<S>] {
        &self.edits
    }

    #[doc(hidden)]
    #[inline]
    pub fn into_edits(self) -> Vec<ScalarEdit<S>> {
        self.edits
    }
}

pub type RepairProvider<S> = fn(&S, RepairLimits) -> Vec<RepairCandidate<S>>;

pub struct ConflictRepair<S> {
    constraint_name: &'static str,
    provider: RepairProvider<S>,
}

impl<S> ConflictRepair<S> {
    pub const fn new(constraint_name: &'static str, provider: RepairProvider<S>) -> Self {
        Self {
            constraint_name,
            provider,
        }
    }

    #[doc(hidden)]
    #[inline]
    pub fn constraint_name(&self) -> &'static str {
        self.constraint_name
    }

    #[doc(hidden)]
    #[inline]
    pub fn provider(&self) -> RepairProvider<S> {
        self.provider
    }
}

impl<S> std::fmt::Debug for ConflictRepair<S> {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("ConflictRepair")
            .field("constraint_name", &self.constraint_name)
            .finish_non_exhaustive()
    }
}

impl<S> Clone for ConflictRepair<S> {
    fn clone(&self) -> Self {
        *self
    }
}

impl<S> Copy for ConflictRepair<S> {}