l_group_formulas 0.1.0

parsing and encoding l-group (in)equations
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

use super::l_group_term::LGroupTerm;

#[derive(Debug, Clone)]
pub enum LGroupFormula {
    LGroupEquation(LGroupTerm, LGroupTerm),
    LGroupInequation(LGroupTerm, LGroupTerm)
}

impl From<&str> for LGroupFormula {
    fn from(s: &str) -> LGroupFormula {
        let string = s.to_string();
        let delimiter: &str;
        match s.contains('<') {
            true => delimiter = "<=",
            false => delimiter = "="
        };
        let strings: Vec<&str> = string.split(delimiter).collect();
        match delimiter {
            "<=" => LGroupFormula::LGroupInequation(
                LGroupTerm::from(strings[0].to_string().as_str()),
                LGroupTerm::from(strings[1].to_string().as_str())
            ),
            "="  => LGroupFormula::LGroupEquation(
                LGroupTerm::from(strings[0].to_string().as_str()),
                LGroupTerm::from(strings[1].to_string().as_str())
            ),
            _   => panic!("impossible")
        }
    }
}

impl ToString for LGroupFormula {
    fn to_string(&self) -> String {
        match self {
            LGroupFormula::LGroupEquation(lhs, rhs) => format!("{}={}", lhs.to_string(), rhs.to_string()),
            LGroupFormula::LGroupInequation(lhs, rhs) => format!("{}<={}", lhs.to_string(), rhs.to_string())
        }
    }
}