logic-rs 0.1.1

Library for representing logical formulas with support for temporal robustness semantics
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

#[derive(Debug)]
pub enum BinaryError<L, R>
where
    L: std::error::Error,
    R: std::error::Error,
{
    Left(L),
    Right(R),
}

impl<L, R> std::fmt::Display for BinaryError<L, R>
where
    L: std::error::Error,
    R: std::error::Error,
{
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            Self::Left(left) => write!(f, "Left error: {}", left),
            Self::Right(right) => write!(f, "Right error: {}", right),
        }
    }
}

impl<L, R> std::error::Error for BinaryError<L, R>
where
    L: std::error::Error,
    R: std::error::Error,
{
}

#[derive(Debug)]
pub enum TimedOperatorError<E>
where
    E: std::error::Error,
{
    EmptyTrace,
    SubformulaError(E),
}

impl<E> std::fmt::Display for TimedOperatorError<E>
where
    E: std::error::Error,
{
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            Self::EmptyTrace => write!(f, "Not enough elements in trace provided to operator"),
            Self::SubformulaError(error) => write!(f, "Subformula error {}", error),
        }
    }
}

impl<E> std::error::Error for TimedOperatorError<E> where E: std::error::Error {}