asdi 0.2.5

Another Simplistic Datalog Implementation (in Rust)
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

@startuml

!include ../model/options.plantuml

interface asdi::Collection #white
hide "asdi::Collection" members

class asdi::Program #white
hide "asdi::Program" members

class asdi::edb::RelationSet #white
hide "asdi::edb::RelationSet" members

namespace asdi::idb::eval {
    interface Evaluator {
        inference(program: Program) : Result<RelationSet>
        label() -> &str
    }

    class StratifiedEvaluator #lightgray
    class StratifiedProgram {
        from(program: &Program) : Result<Self>
    }

    StratifiedProgram ..|> "<SubProgram>" asdi::Collection
    StratifiedProgram .up.> PrecedenceGraph

    StratifiedEvaluator ..|> Evaluator

    Evaluator ..> asdi::Program
    Evaluator ..> asdi::edb::RelationSet


    StratifiedEvaluator .down.> StratifiedProgram
}

@enduml