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