solverforge-core 0.8.2

Core types and traits for SolverForge constraint solver
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

// Problem fact descriptor.

use std::any::TypeId;
use std::fmt;

use crate::domain::entity_ref::EntityExtractor;

/// Describes a problem fact type at runtime.
pub struct ProblemFactDescriptor {
    // Name of the problem fact type.
    pub type_name: &'static str,
    // TypeId of the problem fact type.
    pub type_id: TypeId,
    // Field name in the solution.
    pub solution_field: &'static str,
    // Whether this is a collection of facts.
    pub is_collection: bool,
    // The ID field name, if any (for value range provider lookups).
    pub id_field: Option<&'static str>,
    // Extractor for getting facts from a solution.
    pub extractor: Option<Box<dyn EntityExtractor>>,
}

impl ProblemFactDescriptor {
    pub fn new(type_name: &'static str, type_id: TypeId, solution_field: &'static str) -> Self {
        ProblemFactDescriptor {
            type_name,
            type_id,
            solution_field,
            is_collection: true,
            id_field: None,
            extractor: None,
        }
    }

    pub fn with_extractor(mut self, extractor: Box<dyn EntityExtractor>) -> Self {
        self.extractor = Some(extractor);
        self
    }

    pub fn single(mut self) -> Self {
        self.is_collection = false;
        self
    }

    pub fn with_id_field(mut self, field: &'static str) -> Self {
        self.id_field = Some(field);
        self
    }
}

impl Clone for ProblemFactDescriptor {
    fn clone(&self) -> Self {
        Self {
            type_name: self.type_name,
            type_id: self.type_id,
            solution_field: self.solution_field,
            is_collection: self.is_collection,
            id_field: self.id_field,
            extractor: self.extractor.clone(),
        }
    }
}

impl fmt::Debug for ProblemFactDescriptor {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        f.debug_struct("ProblemFactDescriptor")
            .field("type_name", &self.type_name)
            .field("solution_field", &self.solution_field)
            .field("is_collection", &self.is_collection)
            .finish()
    }
}