Module stratify 

Stratification analysis for negation and aggregation

Structs

DependencyGraph

Dependency graph for stratification analysis.

StratificationResult

Result of stratification analysis for probabilistic inference

Stratum

Stratum assignment result.

Functions

analyze_stratification

Analyze stratification for probabilistic inference Returns detailed information about SCCs and which ones are non-monotone

build_dependency_graph

Build dependency graph from program

find_sccs_for_lowering

Find SCCs for the lowering phase Returns SCCs in reverse topological order (dependencies first)

stratify

Perform stratification analysis