solverforge-solver 0.18.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 solverforge_config::{LocalSearchConfig, LocalSearchType, SelectionOrder};
use solverforge_core::domain::{PlanningSolution, SolutionDescriptor};

use crate::builder::RuntimeModel;

use super::default_local_search::DefaultLocalSearchPlan;
use super::graph::{CompiledAcceptorForagerSelector, CompiledLocalSearch};
use super::selector_tree::compile_selector;
use super::types::{RuntimeCompileError, RuntimeCompileErrorKind};

pub(super) fn compile_local_search<S, V, DM, IDM>(
    config: &LocalSearchConfig,
    path: &str,
    descriptor: &SolutionDescriptor,
    model: &RuntimeModel<S, V, DM, IDM>,
    default_local_search: Option<&DefaultLocalSearchPlan>,
) -> Result<CompiledLocalSearch<S, V, DM, IDM>, RuntimeCompileError>
where
    S: PlanningSolution + 'static,
    V: Clone,
    DM: Clone,
    IDM: Clone,
{
    match config.local_search_type {
        LocalSearchType::AcceptorForager => {
            if !config.neighborhoods.is_empty() {
                return Err(local_search_shape(
                    path,
                    "acceptor_forager local_search uses move_selector; neighborhoods are only valid with local_search_type = \"variable_neighborhood_descent\"",
                ));
            }
            let selector = match config.move_selector.as_ref() {
                Some(selector) => CompiledAcceptorForagerSelector::Explicit(compile_selector(
                    selector,
                    SelectionOrder::Random,
                    &format!("{path}.move_selector"),
                    descriptor,
                    model,
                )?),
                None => {
                    default_local_search.ok_or_else(|| {
                        local_search_shape(
                            path,
                            "acceptor_forager omitted move_selector but no immutable default selector was compiled",
                        )
                    })?;
                    CompiledAcceptorForagerSelector::OmittedDefault
                }
            };
            Ok(CompiledLocalSearch::AcceptorForager {
                config: config.clone(),
                selector,
            })
        }
        LocalSearchType::VariableNeighborhoodDescent => {
            if config.acceptor.is_some()
                || config.forager.is_some()
                || config.move_selector.is_some()
            {
                return Err(local_search_shape(
                    path,
                    "variable_neighborhood_descent local_search uses neighborhoods; acceptor, forager, and move_selector are only valid with local_search_type = \"acceptor_forager\"",
                ));
            }
            if config.neighborhoods.is_empty() {
                return Err(local_search_shape(
                    path,
                    "variable_neighborhood_descent local_search requires at least one neighborhood selector",
                ));
            }
            let neighborhoods = config
                .neighborhoods
                .iter()
                .enumerate()
                .map(|(index, selector)| {
                    compile_selector(
                        selector,
                        SelectionOrder::Original,
                        &format!("{path}.neighborhoods[{index}]"),
                        descriptor,
                        model,
                    )
                })
                .collect::<Result<Vec<_>, _>>()?;
            Ok(CompiledLocalSearch::VariableNeighborhoodDescent {
                config: config.clone(),
                neighborhoods,
            })
        }
    }
}
pub(super) fn local_search_shape(path: &str, message: impl Into<String>) -> RuntimeCompileError {
    RuntimeCompileError {
        path: path.to_string(),
        kind: RuntimeCompileErrorKind::LocalSearchShape {
            message: message.into(),
        },
    }
}