Searched refs:literal_vector_pop (Results 1 – 1 of 1) sorted by relevance
394 static void literal_vector_pop(literal_t *v) { in literal_vector_pop() function5257 literal_vector_pop(s->bin[l0]); in restore_binary_clauses()5258 literal_vector_pop(s->bin[l1]); in restore_binary_clauses()