vrp_cli/extensions/check/
mod.rs

1//! A helper module which contains functionality to run feasibility checks on solution.
2
3#[cfg(test)]
4#[path = "../../../tests/unit/extensions/check/check_test.rs"]
5mod check_test;
6
7use std::io::{BufReader, Read};
8use std::sync::Arc;
9use vrp_core::prelude::GenericError;
10use vrp_pragmatic::checker::CheckerContext;
11use vrp_pragmatic::format::problem::{deserialize_matrix, deserialize_problem, PragmaticProblem};
12use vrp_pragmatic::format::solution::deserialize_solution;
13
14/// Checks pragmatic solution feasibility.
15pub fn check_pragmatic_solution<F: Read>(
16    problem_reader: BufReader<F>,
17    solution_reader: BufReader<F>,
18    matrices_readers: Option<Vec<BufReader<F>>>,
19) -> Result<(), Vec<GenericError>> {
20    let problem =
21        deserialize_problem(problem_reader).map_err(|errs| vec![format!("cannot read problem: '{errs}'").into()])?;
22
23    let solution =
24        deserialize_solution(solution_reader).map_err(|err| vec![format!("cannot read solution: '{err}'").into()])?;
25
26    let matrices = if let Some(matrices_readers) = matrices_readers {
27        Some(
28            matrices_readers
29                .into_iter()
30                .map(|file| {
31                    deserialize_matrix(BufReader::new(file))
32                        .map_err(|errs| vec![format!("cannot read matrix: '{errs}'").into()])
33                })
34                .collect::<Result<Vec<_>, _>>()?,
35        )
36    } else {
37        None
38    };
39
40    let core_problem = Arc::new(
41        (problem.clone(), matrices.clone())
42            .read_pragmatic()
43            .map_err(|errs| vec![format!("cannot read pragmatic problem: '{errs}'").into()])?,
44    );
45
46    CheckerContext::new(core_problem, problem, matrices, solution).and_then(|ctx| ctx.check())
47}
vrp_cli/extensions/check/mod.rs

vrp_cli/extensions/check/
mod.rs
