Searched refs:BTOR_RELEASE_AIG_UNIQUE_TABLE (Results 1 – 1 of 1) sorted by relevance
35 #define BTOR_RELEASE_AIG_UNIQUE_TABLE(mm, table) \ macro281 BTOR_RELEASE_AIG_UNIQUE_TABLE (mm, amgr->table); in enlarge_aig_nodes_unique_table()908 BTOR_RELEASE_AIG_UNIQUE_TABLE (mm, amgr->table); in btor_aig_mgr_delete()