#[cfg(test)]
#[path = "../../../tests/unit/construction/constraints/conditional_test.rs"]
mod conditional_test;
use crate::construction::constraints::{ConstraintModule, ConstraintVariant};
use crate::construction::heuristics::{RouteContext, SolutionContext};
use crate::models::problem::Job;
use hashbrown::HashSet;
use std::slice::Iter;
pub trait JobContextTransition {
fn remove_from_required(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool;
fn promote_to_required(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool;
fn remove_from_locked(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool;
fn promote_to_locked(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool;
}
pub struct ConcreteJobContextTransition<FRemoveRequired, FPromoteRequired, FRemoveLocked, FPromoteLocked>
where
FRemoveRequired: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
FPromoteRequired: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
FRemoveLocked: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
FPromoteLocked: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
{
pub remove_required: FRemoveRequired,
pub promote_required: FPromoteRequired,
pub remove_locked: FRemoveLocked,
pub promote_locked: FPromoteLocked,
}
impl<FRemoveRequired, FPromoteRequired, FRemoveLocked, FPromoteLocked> JobContextTransition
for ConcreteJobContextTransition<FRemoveRequired, FPromoteRequired, FRemoveLocked, FPromoteLocked>
where
FRemoveRequired: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
FPromoteRequired: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
FRemoveLocked: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
FPromoteLocked: Fn(&SolutionContext, Option<usize>, &Job) -> bool,
{
fn remove_from_required(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool {
(self.remove_required)(solution_ctx, route_index, job)
}
fn promote_to_required(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool {
(self.promote_required)(solution_ctx, route_index, job)
}
fn remove_from_locked(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool {
(self.remove_locked)(solution_ctx, route_index, job)
}
fn promote_to_locked(&self, solution_ctx: &SolutionContext, route_index: Option<usize>, job: &Job) -> bool {
(self.promote_locked)(solution_ctx, route_index, job)
}
}
pub struct ConditionalJobModule {
context_transition: Box<dyn JobContextTransition + Send + Sync>,
state_keys: Vec<i32>,
constraints: Vec<ConstraintVariant>,
}
impl ConditionalJobModule {
pub fn new(context_transition: Box<dyn JobContextTransition + Send + Sync>) -> Self {
Self { context_transition, state_keys: vec![], constraints: vec![] }
}
}
impl ConstraintModule for ConditionalJobModule {
fn accept_insertion(&self, solution_ctx: &mut SolutionContext, route_index: usize, _job: &Job) {
analyze_and_perform_transitions(solution_ctx, Some(route_index), self.context_transition.as_ref());
}
fn accept_route_state(&self, _ctx: &mut RouteContext) {}
fn accept_solution_state(&self, solution_ctx: &mut SolutionContext) {
analyze_and_perform_transitions(solution_ctx, None, self.context_transition.as_ref());
}
fn state_keys(&self) -> Iter<i32> {
self.state_keys.iter()
}
fn get_constraints(&self) -> Iter<ConstraintVariant> {
self.constraints.iter()
}
}
fn analyze_and_perform_transitions(
solution_ctx: &mut SolutionContext,
route_index: Option<usize>,
context_transition: &(dyn JobContextTransition + Send + Sync),
) {
let ignored: HashSet<Job> = solution_ctx
.required
.iter()
.filter(|job| context_transition.remove_from_required(solution_ctx, route_index, job))
.cloned()
.collect();
solution_ctx.required.retain(|job| !ignored.contains(job));
solution_ctx.unassigned.retain(|job, _| !ignored.contains(job));
let required: HashSet<Job> = solution_ctx
.ignored
.iter()
.filter(|job| context_transition.promote_to_required(solution_ctx, route_index, job))
.cloned()
.collect();
solution_ctx.ignored.retain(|job| !required.contains(job));
solution_ctx.required.extend(required);
solution_ctx.ignored.extend(ignored);
let not_locked: HashSet<Job> = solution_ctx
.locked
.iter()
.filter(|job| context_transition.remove_from_locked(solution_ctx, route_index, job))
.cloned()
.collect();
solution_ctx.locked.retain(|job| !not_locked.contains(job));
let locked: HashSet<Job> = solution_ctx
.required
.iter()
.chain(solution_ctx.ignored.iter())
.filter(|job| context_transition.promote_to_locked(solution_ctx, route_index, job))
.cloned()
.collect();
solution_ctx.locked.extend(locked);
}