Searched defs:num_learned_literals (Results 1 – 4 of 4) sorted by relevance
101 uint32_t num_learned_literals; // sum of the length of these clauses member
244 uint32_t num_learned_literals; // sum of the length of these clauses member
1371 static inline uint64_t num_learned_literals(smt_core_t *s) { in num_learned_literals() function