Searched refs:Inferrer (Results 1 – 1 of 1) sorted by relevance
1214 SymbolicRangeInferrer Inferrer(F, State); in inferRange() local1215 return Inferrer.infer(Origin); in inferRange()