Module circomspect_program_analysis::constraint_analysis

source ·

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