Searched refs:trivially_false_assertions (Results 1 – 1 of 1) sorted by relevance
9469 static bool trivially_false_assertions(const term_t *a, uint32_t n) { in trivially_false_assertions() function9554 if (trivially_false_assertions(f, n)) { in yices_do_check_formulas()9698 if (trivially_false_assertions(f, n)) { in yices_do_export_to_dimacs()