logical_solver 1.0.2

Rust based logic parser, evaluator, and truth table constructor!
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

use std::str::FromStr;
use crate::ast::{Expr, Opcode}; 

grammar;

pub Expr: Box<Expr> = {
    Expr ExprOp Factor => Box::new(Expr::Op(<>)), 
    Factor,
};

SingleOp: Opcode = {
        "not" => Opcode::Not,
}

ExprOp: Opcode = {
    "=>" => Opcode::Conditional,
    "<=>" => Opcode::Biconditional,
};

Factor: Box<Expr> = {
        Factor FactorOp Term => Box::new(Expr::Op(<>)),
        Term,
};

FactorOp: Opcode = {
        "and" => Opcode::And,
        "or" => Opcode::Or,
};

Term: Box<Expr> = {
        Variable => Box::new(<>),
        Boolean => Box::new(Expr::Boolean(<>)),
        SingleOp Term => Box::new(Expr::Neg(<>)),
        "(" <Expr> ")",
};

Boolean: bool = {
        r"true|false" => <> == "true", 
};


Variable: Expr = {
    r"[A-Z]+" => Expr::Variable(<>.to_string()),
}