Analyze a set of rules.
Analyze a set of rules.
the rules to analyze
Computes the high-level rule dependency graph, i.e.
Computes the high-level rule dependency graph, i.e. it returns a DAG such that each vertex is a subgraph that is strongly connected.
the rule dependency graph
high-level rule dependency DAG