Dependency graph

Generates a dependency graph between predicates. Input predicates are shown purple and shown predicates in green.

Example

Output Usage

Dependency Graph

flowchart LR
    val/1(["val/1"])
    pos/2(["pos/2"])
         val/1 --> pos/2
    subgrid/3(["subgrid/3"])
         pos/2 --> subgrid/3
    sudoku/3(["sudoku/3"])
         initial/3 --> sudoku/3
         pos/2 --> sudoku/3
         val/1 --> sudoku/3
    initial/3(["initial/3"])
    classDef all fill:#00000000
    class __tmp,val/1,pos/2,subgrid/3,sudoku/3,initial/3, all;
    classDef out stroke:#52BF54,stroke-width:3px;
    class __tmp,sudoku/3, out;
    classDef aux stroke:#848484,stroke-width:0.2px;
    class __tmp,val/1,pos/2,subgrid/3,initial/3, aux;
    classDef in stroke:#9178C6,stroke-width:3px;
    class initial/3, in;

::: examples/sudoku/encoding.lp
    handler: asp
    options:
        dependency_graph: true
        start_level: 3

Configuration options