Searched refs:lit_pool_push_back (Results 1 – 3 of 3) sorted by relevance
56 lit_pool_push_back(0); //set the first element as a spacing element in CDatabase()
150 void lit_pool_push_back(int value) { in lit_pool_push_back() function
209 lit_pool_push_back( ((var_idx<<1) + var_sign) << 2); in add_clause()223 lit_pool_push_back(-new_cl); //push in the clause idx in the end in add_clause()