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