Searched refs:lemma_block_t (Results 1 – 4 of 4) sorted by relevance
71 queue->block = (lemma_block_t **) safe_realloc(queue->block, n * sizeof(lemma_block_t *)); in increase_lemma_queue_capacity()79 static lemma_block_t *new_lemma_block(uint32_t size) { in new_lemma_block()80 lemma_block_t *tmp; in new_lemma_block()86 tmp = (lemma_block_t *) safe_malloc(sizeof(lemma_block_t) + size * sizeof(literal_t)); in new_lemma_block()99 static lemma_block_t *find_block_for_lemma(lemma_queue_t *queue, uint32_t n) { in find_block_for_lemma()101 lemma_block_t *tmp; in find_block_for_lemma()160 lemma_block_t *blk; in push_lemma()206 lemma_block_t *tmp; in show_lemma_queue()225 lemma_block_t *tmp; in print_lemmas()
690 } lemma_block_t; typedef696 lemma_block_t **block;
306 lemma_block_t *tmp; in print_lemmas()
1012 queue->block = (lemma_block_t **) safe_realloc(queue->block, n * sizeof(lemma_block_t *)); in increase_lemma_queue_capacity()1020 static lemma_block_t *new_lemma_block(uint32_t size) { in new_lemma_block()1021 lemma_block_t *tmp; in new_lemma_block()1027 tmp = (lemma_block_t *) safe_malloc(sizeof(lemma_block_t) + size * sizeof(literal_t)); in new_lemma_block()1040 static lemma_block_t *find_block_for_lemma(lemma_queue_t *queue, uint32_t n) { in find_block_for_lemma()1042 lemma_block_t *tmp; in find_block_for_lemma()1101 lemma_block_t *blk; in push_lemma()4443 lemma_block_t *tmp; in add_all_lemmas()