Searched refs:lemma_queue_t (Results 1 – 3 of 3) sorted by relevance
35 static void init_lemma_queue(lemma_queue_t *queue) { in init_lemma_queue()45 static void delete_lemma_queue(lemma_queue_t *queue) { in delete_lemma_queue()59 static void increase_lemma_queue_capacity(lemma_queue_t *queue) { in increase_lemma_queue_capacity()99 static lemma_block_t *find_block_for_lemma(lemma_queue_t *queue, uint32_t n) { in find_block_for_lemma()159 static void push_lemma(lemma_queue_t *queue, uint32_t n, literal_t *a) { in push_lemma()181 static void reset_lemma_queue(lemma_queue_t *queue) { in reset_lemma_queue()197 static lemma_queue_t qq;205 static void show_lemma_queue(lemma_queue_t *queue) { in show_lemma_queue()224 static void print_lemmas(lemma_queue_t *queue) { in print_lemmas()
697 } lemma_queue_t; typedef1035 lemma_queue_t lemmas;
976 static void init_lemma_queue(lemma_queue_t *queue) { in init_lemma_queue()986 static void delete_lemma_queue(lemma_queue_t *queue) { in delete_lemma_queue()1000 static void increase_lemma_queue_capacity(lemma_queue_t *queue) { in increase_lemma_queue_capacity()1040 static lemma_block_t *find_block_for_lemma(lemma_queue_t *queue, uint32_t n) { in find_block_for_lemma()1100 static void push_lemma(lemma_queue_t *queue, uint32_t n, literal_t *a) { in push_lemma()1125 static void reset_lemma_queue(lemma_queue_t *queue) { in reset_lemma_queue()1153 static inline bool empty_lemma_queue(lemma_queue_t *queue) { in empty_lemma_queue()