Searched defs:NormalConstraintGraph (Results 1 – 2 of 2) sorted by relevance
41 pub(crate) fn graph(&self, num_region_vars: usize) -> graph::NormalConstraintGraph { in graph()56 constraint_graph: &graph::NormalConstraintGraph, in compute_sccs()
22 pub(crate) type NormalConstraintGraph = ConstraintGraph<Normal>; typedef