Searched refs:init_lemma_queue (Results 1 – 2 of 2) sorted by relevance
35 static void init_lemma_queue(lemma_queue_t *queue) { in init_lemma_queue() function252 init_lemma_queue(&qq); in main()
976 static void init_lemma_queue(lemma_queue_t *queue) { in init_lemma_queue() function1582 init_lemma_queue(&s->lemmas); in init_smt_core()