eggplant 0.2.5

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

use eggplant::basic_tx_vt;
use eggplant::prelude::*;
use std::{path::PathBuf, str::FromStr};

#[eggplant::dsl]
enum Compare {
    Less { v1: Var, v2: Var },
}
#[eggplant::dsl]
enum Var {
    VarItem { num: i64 },
    Expr { eq: Compare },
}

fn main() {
    env_logger::init();
    let mut v0 = VarItem::new(1);
    let mut v1 = VarItem::new(2);
    let eq0 = Less::<MyTx>::new(&v0, &v1);
    eq0.commit();
    MyTx::sgl().to_dot(PathBuf::from_str("egraph0").unwrap());

    v1.set_num(4).stage();
    eq0.commit();
    MyTx::sgl().to_dot(PathBuf::from_str("egraph1").unwrap());

    v0.set_num(4).stage();
    eq0.commit();
    MyTx::sgl().to_dot(PathBuf::from_str("egraph2").unwrap());
}

basic_tx_vt!(MyTx);