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