Searched refs:Closures (Results 1 – 2 of 2) sorted by relevance
749 std::vector<Closure> Closures; in runOnMachineFunction() local770 Closures.push_back(std::move(C)); in runOnMachineFunction()773 for (Closure &C : Closures) { in runOnMachineFunction()
406 title = {Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations},