Searched refs:assertions_cache (Results 1 – 4 of 4) sorted by relevance
154 BtorIntHashTable *assertions_cache; member
1209 clone->assertions_cache = in clone_aux_btor()1210 btor_hashint_table_clone (clone->mm, btor->assertions_cache); in clone_aux_btor()1211 assert ((allocated += MEM_INT_HASH_TABLE (btor->assertions_cache)) in clone_aux_btor()
768 btor->assertions_cache = btor_hashint_table_new (mm); in btor_new()944 btor_hashint_table_delete (btor->assertions_cache); in btor_delete()
453 btor_hashint_table_remove (btor->assertions_cache, btor_node_get_id (cur)); in boolector_pop()485 if (!btor_hashint_table_contains (btor->assertions_cache, id)) in boolector_assert()488 btor_hashint_table_add (btor->assertions_cache, id); in boolector_assert()