Module paralegal_policy::algo

source ·
Expand description

Algorithms for querying the graph

Modules

  • ahb
    Checking always-happens-before relationships
  • flows_to
    Precomputed reachability queries