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

use std::fmt::{self, Debug};

use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::Director;

use super::compound_scalar::{CompoundScalarEdit, CompoundScalarMove};
use super::{Move, MoveAffectedEntity, MoveTabuSignature};

const CONFLICT_REPAIR_VARIABLE: &str = "conflict_repair";

#[derive(Clone)]
pub struct ConflictRepairScalarEdit<S> {
    pub descriptor_index: usize,
    pub entity_index: usize,
    pub variable_index: usize,
    pub variable_name: &'static str,
    pub to_value: Option<usize>,
    pub getter: fn(&S, usize, usize) -> Option<usize>,
    pub setter: fn(&mut S, usize, usize, Option<usize>),
}

impl<S> Debug for ConflictRepairScalarEdit<S> {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        f.debug_struct("ConflictRepairScalarEdit")
            .field("descriptor_index", &self.descriptor_index)
            .field("entity_index", &self.entity_index)
            .field("variable_index", &self.variable_index)
            .field("variable_name", &self.variable_name)
            .field("to_value", &self.to_value)
            .finish()
    }
}

#[derive(Clone)]
pub struct ConflictRepairMove<S> {
    compound: CompoundScalarMove<S>,
}

impl<S> ConflictRepairMove<S> {
    pub fn new(reason: &'static str, edits: Vec<ConflictRepairScalarEdit<S>>) -> Self {
        let edits = edits
            .into_iter()
            .map(|edit| CompoundScalarEdit {
                descriptor_index: edit.descriptor_index,
                entity_index: edit.entity_index,
                variable_index: edit.variable_index,
                variable_name: edit.variable_name,
                to_value: edit.to_value,
                getter: edit.getter,
                setter: edit.setter,
                value_is_legal: None,
            })
            .collect();
        Self {
            compound: CompoundScalarMove::with_label(reason, CONFLICT_REPAIR_VARIABLE, edits),
        }
    }
}

impl<S> Debug for ConflictRepairMove<S> {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        f.debug_tuple("ConflictRepairMove")
            .field(&self.compound)
            .finish()
    }
}

impl<S> Move<S> for ConflictRepairMove<S>
where
    S: PlanningSolution,
{
    fn is_doable<D: Director<S>>(&self, score_director: &D) -> bool {
        self.compound.is_doable(score_director)
    }

    fn do_move<D: Director<S>>(&self, score_director: &mut D) {
        self.compound.do_move(score_director);
    }

    fn descriptor_index(&self) -> usize {
        self.compound.descriptor_index()
    }

    fn entity_indices(&self) -> &[usize] {
        self.compound.entity_indices()
    }

    fn variable_name(&self) -> &str {
        self.compound.variable_name()
    }

    fn tabu_signature<D: Director<S>>(&self, score_director: &D) -> MoveTabuSignature {
        self.compound.tabu_signature(score_director)
    }

    fn for_each_affected_entity(&self, visitor: &mut dyn FnMut(MoveAffectedEntity<'_>)) {
        self.compound.for_each_affected_entity(visitor);
    }
}