clawgic 0.7.1

Logic engine for making, modifying, and evaluating expressions from sentential (propositional) logic. Support for predicate logic will be added later.
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

use crate::expression_tree::node::negation::Negation;

use super::node::operator::Operator;

/// This is a data type made for the shunting yard algorithm. 
/// 
/// It represents the tokens of an infix logical expression. 
pub enum Shell{
    /// Binary logical operator.
    Operator(Negation, Operator),
    /// Boolean Variable.
    Variable(Negation, String),
    /// Boolean constant. True or False.
    Constant(Negation, bool),
    /// Open Parentheses.
    Parentheses,
    /// Boolean denial operator.
    Tilde(Negation),
}

impl Shell{
    /// Whether the `Shell` is an `Operator`.
    pub fn is_operator(&self) -> bool{
        match self{
            Self::Operator(..) => true,
            _ => false,
        }
    }

    /// Whether the `Shell` is an `Variable`.
    pub fn is_variable(&self) -> bool{
        match self{ 
            Self::Variable(..) => true,
            _ => false,
        }
    }

    /// Whether the `Shell` is an `Constant`.
    pub fn is_constant(&self) -> bool{
        match self{
            Self::Constant(..) => true,
            _ => false,
        }
    }

    /// Whether the `Shell` is an `Parentheses`.
    pub fn is_parentheses(&self) -> bool{
        match self{
            Self::Parentheses => true,
            _ => false,
        }
    }

    /// Whether the `Shell` is an `Tilde`.
    pub fn is_tilde(&self) -> bool{
        match self{
            Self::Tilde(..) => true,
            _ => false,
        }
    }
}