Module constraint_analysis

Structs

ConstraintAnalysis

This analysis computes the transitive closure of the constraint relation. (Note that the resulting relation will be symmetric, but not reflexive in general.)

Functions

run_constraint_analysis