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

// SPDX-License-Identifier: MIT
// Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.

use std::fmt::{Debug, Display, Formatter};
use std::ops::*;

use deep_causality_macros::{Constructor, Getters};

use crate::prelude::{
    Causable, CausalityError, Causaloid, Datable, NumericalValue, SpaceTemporal, Spatial,
    Temporable,
};

#[derive(Getters, Constructor, Clone, Debug)]
pub struct CausalState<'l, D, S, T, ST, V>
where
    D: Datable + Clone,
    S: Spatial<V> + Clone,
    T: Temporable<V> + Clone,
    ST: SpaceTemporal<V> + Clone,
    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
{
    id: usize,
    version: usize,
    data: NumericalValue,
    causaloid: &'l Causaloid<'l, D, S, T, ST, V>,
}

impl<'l, D, S, T, ST, V> CausalState<'l, D, S, T, ST, V>
where
    D: Datable + Clone,
    S: Spatial<V> + Clone,
    T: Temporable<V> + Clone,
    ST: SpaceTemporal<V> + Clone,
    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
{
    pub fn eval(&self) -> Result<bool, CausalityError> {
        self.causaloid.verify_single_cause(&self.data)
    }
    pub fn eval_with_data(&self, data: &NumericalValue) -> Result<bool, CausalityError> {
        self.causaloid.verify_single_cause(data)
    }

    fn fmt_print(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        write!(
            f,
            "CausalState: \n id: {} version: {} \n data: {:?} causaloid: {:?}",
            self.id, self.version, self.data, self.causaloid,
        )
    }
}

impl<'l, D, S, T, ST, V> Display for CausalState<'l, D, S, T, ST, V>
where
    D: Datable + Clone,
    S: Spatial<V> + Clone,
    T: Temporable<V> + Clone,
    ST: SpaceTemporal<V> + Clone,
    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
{
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        self.fmt_print(f)
    }
}