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

    sudoku/3(["sudoku/3"])
    initial/3(["initial/3"])
    pos/2(["pos/2"])
    val/1(["val/1"])
    subgrid/3(["subgrid/3"])



    initial/3 --> sudoku/3
    pos/2 --> sudoku/3
    val/1 --> sudoku/3
    val/1 --> pos/2
    pos/2 --> subgrid/3

    classDef all fill:#00000000;
    classDef out stroke:#52BF54,stroke-width:3px;
    classDef aux stroke:#848484,stroke-width:0.2px;
    classDef in stroke:#9178C6,stroke-width:3px;


    class sudoku/3,initial/3,pos/2,val/1,subgrid/3 all;




    class sudoku/3 out;




    class initial/3,pos/2,val/1,subgrid/3 aux;




    class initial/3 in;

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

Configuration options