eggplant 0.2.7

eggplant is a High-Level Rust API crate for Egglog
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
62
63
64
65
66
67
68
69
70
71
72

use eggplant::prelude::*;
use eggplant::tx_rx_vt_pr;
use serde::{Deserialize, Serialize};

#[eggplant::dsl(base=Op)]
pub enum Expr {
    Const { num: i64 },
    Mul { l: Expr, r: Expr },
    Sub { l: Expr, r: Expr },
    Add { l: Expr, r: Expr },
    Div { l: Expr, r: Expr },
    Binary { op: Op, l: Expr, r: Expr },
}

#[eggplant::base_ty]
#[derive(Serialize, Deserialize, Debug, Clone, Hash, PartialEq, Eq, Default)]
pub enum Op {
    Add,
    Sub,
    Mul,
    Div,
    #[default]
    Unknown,
}

tx_rx_vt_pr!(MyTx, MyPatRec);
fn main() {
    env_logger::init();
    let expr: Expr<MyTx, _> = Binary::new(Op::Mul, &Const::new(3), &Const::new(2));
    expr.commit();

    let ruleset = MyTx::new_ruleset("sss");
    MyTx::add_rule(
        stringify!(SubPat),
        ruleset,
        || {
            let l = Expr::query_leaf();
            let r = Expr::query_leaf();
            let p = Binary::query(&l, &r);
            #[eggplant::pat_vars_catch]
            struct SubPat {
                l: Expr,
                r: Expr,
                p: Binary,
            }
        },
        |ctx, pat| {
            let s = ctx.devalue(pat.p.op);
            match s {
                Op::Add => todo!(),
                Op::Sub => todo!(),
                Op::Mul => {
                    let mul = ctx.insert_mul(pat.l, pat.r);
                    ctx.union(mul, pat.p);
                }
                Op::Div => todo!(),
                Op::Unknown => todo!(),
            }
        },
    );
    let report = MyTx::run_ruleset(ruleset, RunConfig::Sat);
    println!("{:#?}", report);
    MyTx::table_view();
    // MyTx::explain_eq_raw(6, 4);
    // MyTx::explain_raw(5);

    expr.pull();
    MyTx::egraph_to_dot("egraph.dot");
    MyTx::wag_to_dot("wag.dot");
    // paterns to dot
    MyPatRec::sgl().pats_to_dot("pats.dot");
}