Searched refs:th_cache_enabled (Results 1 – 2 of 2) sorted by relevance
987 bool th_cache_enabled; // true means caching enabled member1237 s->th_cache_enabled = true; in enable_theory_cache()1245 s->th_cache_enabled = false; in disable_theory_cache()
1518 s->th_cache_enabled = false; in init_smt_core()3488 if (s->th_cache_enabled) { in resolve_conflict()3599 if (s->th_cache_enabled) { in resolve_conflict()