tensorlogic-adapters 0.1.0

Symbol tables, axis metadata, and domain masks for TensorLogic
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

//! Domain masks for filtering and constraints.

use serde::{Deserialize, Serialize};
use std::collections::HashSet;

use crate::DomainInfo;

/// Domain mask for filtering and constraints
#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct DomainMask {
    pub domain: String,
    pub included_elements: HashSet<String>,
    pub excluded_elements: HashSet<String>,
}

impl DomainMask {
    pub fn new(domain: impl Into<String>) -> Self {
        DomainMask {
            domain: domain.into(),
            included_elements: HashSet::new(),
            excluded_elements: HashSet::new(),
        }
    }

    pub fn include(&mut self, element: impl Into<String>) -> &mut Self {
        self.included_elements.insert(element.into());
        self
    }

    pub fn exclude(&mut self, element: impl Into<String>) -> &mut Self {
        self.excluded_elements.insert(element.into());
        self
    }

    pub fn is_allowed(&self, element: &str) -> bool {
        if !self.excluded_elements.is_empty() && self.excluded_elements.contains(element) {
            return false;
        }

        if !self.included_elements.is_empty() {
            return self.included_elements.contains(element);
        }

        true
    }

    pub fn apply_to_indices(&self, domain_info: &DomainInfo) -> Vec<usize> {
        if let Some(elements) = &domain_info.elements {
            elements
                .iter()
                .enumerate()
                .filter(|(_, elem)| self.is_allowed(elem))
                .map(|(idx, _)| idx)
                .collect()
        } else {
            (0..domain_info.cardinality).collect()
        }
    }
}