solverforge-solver 0.8.6

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

use super::*;
use solverforge_core::score::SoftScore;

#[derive(Clone)]
struct TestSolution;

impl PlanningSolution for TestSolution {
    type Score = SoftScore;

    fn score(&self) -> Option<Self::Score> {
        None
    }

    fn set_score(&mut self, _: Option<Self::Score>) {}
}

#[test]
fn test_new_acceptor() {
    let acceptor = ValueTabuAcceptor::new(5);
    assert!(!acceptor.is_value_tabu(42));
}

#[test]
fn test_record_and_check() {
    let mut acceptor = ValueTabuAcceptor::new(5);
    Acceptor::<TestSolution>::phase_started(&mut acceptor, &SoftScore::of(0));

    acceptor.record_value_assignment(42);
    Acceptor::<TestSolution>::step_ended(&mut acceptor, &SoftScore::of(0));

    assert!(acceptor.is_value_tabu(42));
    assert!(!acceptor.is_value_tabu(99));
}

#[test]
fn test_tabu_expiration() {
    let mut acceptor = ValueTabuAcceptor::new(2);
    Acceptor::<TestSolution>::phase_started(&mut acceptor, &SoftScore::of(0));

    acceptor.record_value_assignment(1);
    Acceptor::<TestSolution>::step_ended(&mut acceptor, &SoftScore::of(0));
    assert!(acceptor.is_value_tabu(1));

    Acceptor::<TestSolution>::step_started(&mut acceptor);
    acceptor.record_value_assignment(2);
    Acceptor::<TestSolution>::step_ended(&mut acceptor, &SoftScore::of(0));
    assert!(acceptor.is_value_tabu(1));
    assert!(acceptor.is_value_tabu(2));

    Acceptor::<TestSolution>::step_started(&mut acceptor);
    acceptor.record_value_assignment(3);
    Acceptor::<TestSolution>::step_ended(&mut acceptor, &SoftScore::of(0));

    assert!(!acceptor.is_value_tabu(1));
    assert!(acceptor.is_value_tabu(2));
    assert!(acceptor.is_value_tabu(3));
}

#[test]
fn test_accepts_improving_move() {
    let mut acceptor = ValueTabuAcceptor::new(5);
    let last_score = SoftScore::of(-10);
    let move_score = SoftScore::of(-5);
    assert!(Acceptor::<TestSolution>::is_accepted(
        &mut acceptor,
        &last_score,
        &move_score
    ));
}

#[test]
fn test_accepts_equal_move() {
    let mut acceptor = ValueTabuAcceptor::new(5);
    let score = SoftScore::of(-10);
    assert!(Acceptor::<TestSolution>::is_accepted(
        &mut acceptor,
        &score,
        &score
    ));
}

#[test]
fn test_rejects_worsening_move() {
    let mut acceptor = ValueTabuAcceptor::new(5);
    let last_score = SoftScore::of(-5);
    let move_score = SoftScore::of(-10);
    assert!(!Acceptor::<TestSolution>::is_accepted(
        &mut acceptor,
        &last_score,
        &move_score
    ));
}

#[test]
fn test_phase_clears_tabu() {
    let mut acceptor = ValueTabuAcceptor::new(5);
    Acceptor::<TestSolution>::phase_started(&mut acceptor, &SoftScore::of(0));

    acceptor.record_value_assignment(42);
    Acceptor::<TestSolution>::step_ended(&mut acceptor, &SoftScore::of(0));
    assert!(acceptor.is_value_tabu(42));

    Acceptor::<TestSolution>::phase_ended(&mut acceptor);
    assert!(!acceptor.is_value_tabu(42));
}