solverforge-scoring 0.15.0

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

#[derive(Debug, PartialEq, Eq, Hash)]
pub struct SharedNodeId(pub usize);

#[derive(Debug, PartialEq, Eq, Hash)]
pub enum SharedNodeOperation {
    Grouped,
    ProjectedGrouped,
    CrossGrouped,
    CrossComplementedGrouped,
    ProjectedComplementedGrouped,
}

#[derive(Debug, PartialEq, Eq)]
pub struct SharedNodeDiagnostics {
    pub id: SharedNodeId,
    pub fingerprint: String,
    pub operation: SharedNodeOperation,
    pub terminal_consumers: Vec<String>,
    pub update_count: usize,
    pub changed_key_count: usize,
}

impl SharedNodeDiagnostics {
    pub fn new(
        id: SharedNodeId,
        fingerprint: impl Into<String>,
        operation: SharedNodeOperation,
        terminal_consumers: Vec<String>,
        update_count: usize,
        changed_key_count: usize,
    ) -> Self {
        Self {
            id,
            fingerprint: fingerprint.into(),
            operation,
            terminal_consumers,
            update_count,
            changed_key_count,
        }
    }
}