Searched refs:RefBFactory (Results 1 – 1 of 1) sorted by relevance
3529 RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>(); in evalAssume() local3537 B = RefBFactory.remove(B, I.getKey()); in evalAssume()