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