solverforge-scoring 0.19.4

Incremental constraint scoring 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

use std::hash::Hash;

use solverforge_core::score::Score;

use crate::stream::filter::{TrueFilter, UniFilter};
use crate::stream::joiner::{Directed, EqualJoiner, Symmetric};

use super::bi::Bi;
use super::directed_bi::DirectedBi;
use super::source::Source;

pub trait ProjectedJoinTarget<S, Out, Src, F, Sc: Score>
where
    Src: Source<S, Out>,
    F: UniFilter<S, Out>,
{
    type Output;

    fn apply(self, source: Src, filter: F) -> Self::Output;
}

impl<S, Out, Src, F, K, KF, Sc> ProjectedJoinTarget<S, Out, Src, F, Sc>
    for EqualJoiner<KF, KF, K, Symmetric>
where
    S: Send + Sync + 'static,
    Out: Send + Sync + 'static,
    Src: Source<S, Out>,
    F: UniFilter<S, Out>,
    K: Eq + Hash + Send + Sync + 'static,
    KF: Fn(&Out) -> K + Send + Sync,
    Sc: Score + 'static,
{
    type Output = Bi<S, Out, K, Src, F, KF, TrueFilter, Sc>;

    fn apply(self, source: Src, filter: F) -> Self::Output {
        let (key_fn, _) = self.into_keys();
        Bi {
            source,
            filter,
            key_fn,
            pair_filter: TrueFilter,
            _phantom: std::marker::PhantomData,
        }
    }
}

impl<S, Out, Src, F, K, KL, KR, Sc> ProjectedJoinTarget<S, Out, Src, F, Sc>
    for EqualJoiner<KL, KR, K, Directed>
where
    S: Send + Sync + 'static,
    Out: Send + Sync + 'static,
    Src: Source<S, Out>,
    F: UniFilter<S, Out>,
    K: Eq + Hash + Send + Sync + 'static,
    KL: Fn(&Out) -> K + Send + Sync,
    KR: Fn(&Out) -> K + Send + Sync,
    Sc: Score + 'static,
{
    type Output = DirectedBi<S, Out, K, Src, F, KL, KR, TrueFilter, Sc>;

    fn apply(self, source: Src, filter: F) -> Self::Output {
        let (left_key_fn, right_key_fn) = self.into_keys();
        DirectedBi {
            source,
            filter,
            left_key_fn,
            right_key_fn,
            pair_filter: TrueFilter,
            _phantom: std::marker::PhantomData,
        }
    }
}