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
107
108

#[test]
fn conflict_repair_accepts_package_qualified_constraint_metadata() {
    let descriptor = descriptor(true);
    let director = create_director_with_constraint_ref(
        MixedPlan {
            shifts: vec![Shift { worker: Some(0) }, Shift { worker: Some(1) }],
            vehicles: vec![],
            score: None,
        },
        descriptor,
        "pkg",
        "testConstraint",
        true,
    );
    let model = scalar_only_model().with_conflict_repairs(vec![
        crate::builder::ConflictRepair::new("pkg/testConstraint", repair_worker_to_one),
    ]);
    let config = MoveSelectorConfig::ConflictRepairMoveSelector(
        solverforge_config::ConflictRepairMoveSelectorConfig {
            constraints: vec!["pkg/testConstraint".to_string()],
            max_matches_per_step: 2,
            max_repairs_per_match: 3,
            max_moves_per_step: 4,
            require_hard_improvement: false,
            include_soft_matches: false,
        },
    );
    let selector = build_move_selector(Some(&config), &model, None);
    let mut cursor = selector.open_cursor(&director);

    assert!(cursor.next_candidate().is_some());
}

#[test]
#[should_panic(
    expected = "conflict_repair_move_selector configured for non-hard constraint `pkg/testConstraint` while include_soft_matches is false"
)]
fn conflict_repair_rejects_soft_package_qualified_metadata() {
    let descriptor = descriptor(true);
    let director = create_director_with_constraint_ref(
        MixedPlan {
            shifts: vec![Shift { worker: Some(0) }],
            vehicles: vec![],
            score: None,
        },
        descriptor,
        "pkg",
        "testConstraint",
        false,
    );
    let model = scalar_only_model().with_conflict_repairs(vec![
        crate::builder::ConflictRepair::new(
            "pkg/testConstraint",
            repair_provider_must_not_run,
        ),
    ]);
    let config = MoveSelectorConfig::ConflictRepairMoveSelector(
        solverforge_config::ConflictRepairMoveSelectorConfig {
            constraints: vec!["pkg/testConstraint".to_string()],
            max_matches_per_step: 2,
            max_repairs_per_match: 3,
            max_moves_per_step: 4,
            require_hard_improvement: false,
            include_soft_matches: false,
        },
    );
    let selector = build_move_selector(Some(&config), &model, None);

    let _ = selector.open_cursor(&director);
}

#[test]
#[should_panic(
    expected = "conflict_repair_move_selector configured for `testConstraint`, but no matching scoring constraint was found"
)]
fn conflict_repair_rejects_short_name_for_package_qualified_metadata() {
    let descriptor = descriptor(true);
    let director = create_director_with_constraint_ref(
        MixedPlan {
            shifts: vec![Shift { worker: Some(0) }],
            vehicles: vec![],
            score: None,
        },
        descriptor,
        "pkg",
        "testConstraint",
        true,
    );
    let model = scalar_only_model().with_conflict_repairs(vec![
        crate::builder::ConflictRepair::new(
            "testConstraint",
            repair_provider_must_not_run,
        ),
    ]);
    let config = MoveSelectorConfig::ConflictRepairMoveSelector(
        solverforge_config::ConflictRepairMoveSelectorConfig {
            constraints: vec!["testConstraint".to_string()],
            max_matches_per_step: 2,
            max_repairs_per_match: 3,
            max_moves_per_step: 4,
            require_hard_improvement: false,
            include_soft_matches: false,
        },
    );
    let selector = build_move_selector(Some(&config), &model, None);

    let _ = selector.open_cursor(&director);
}