Searched defs:push_not (Results 1 – 3 of 3) sorted by relevance
58 #define push_not ({__need_in_use_bit;_rom_call(void,(CESI),5AA);}) macro
204 expr_ref push_not(const expr_ref& e, unsigned limit) { in push_not() function