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