eqlog 0.9.0

Datalog with equality
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

use std::collections::BTreeSet;

use super::ast::*;

pub fn make_ram_lazy(ram_stmts: &mut [RamStmt]) {
    let mut lazy_vars: BTreeSet<SetVarName> = BTreeSet::new();

    for stmt in ram_stmts.iter_mut() {
        match stmt {
            RamStmt::DefineSet(define_set) => match &define_set.expr {
                InSetExpr::Restrict(_) => {
                    lazy_vars.insert(define_set.defined_var.name.clone());
                    define_set.defined_var.strictness = Strictness::Lazy;
                }
                InSetExpr::GetIndex(_) => {}
            },
            RamStmt::Iter(iter_stmt) => {
                for set_var in iter_stmt.sets.iter_mut() {
                    if lazy_vars.contains(&set_var.name) {
                        set_var.strictness = Strictness::Lazy;
                    }
                }

                if lazy_vars.contains(&iter_stmt.loop_var_set.name) {
                    iter_stmt.loop_var_set.strictness = Strictness::Lazy;
                }
            }
            RamStmt::Insert(_) => {}
            RamStmt::GuardInhabited(guard_inhabited_stmt) => {
                for set_var in guard_inhabited_stmt.sets.iter_mut() {
                    if lazy_vars.contains(&set_var.name) {
                        set_var.strictness = Strictness::Lazy;
                    }
                }
            }
        }
    }
}