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

@startuml

!include ../model/options.plantuml

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

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

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

namespace asdi::idb::eval {
    class PrecedenceGraph #white
    class SubProgram {
    }
    class StratifiedProgram {
        from(program: &Program) : Result<Self>
    }

    SubProgram o-> asdi::Program
    SubProgram ..|> asdi::ProgramCore

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

@enduml