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