Searched refs:th_conflict_size (Results 1 – 2 of 2) sorted by relevance
996 uint32_t th_conflict_size; // number of literals in theory conflicts member
3425 s->th_conflict_size = i; in get_conflict_level()3489 try_cache_theory_conflict(s, s->th_conflict_size, c); in resolve_conflict()