Searched refs:egraph_term_is_false (Results 1 – 3 of 3) sorted by relevance
405 static inline bool egraph_term_is_false(egraph_t *egraph, eterm_t t) { in egraph_term_is_false() function
697 } else if (egraph_term_is_false(egraph, i)) { in print_egraph_terms()
2557 assert(egraph_term_is_false(egraph, t) || egraph_term_asserted_false(egraph, t)); in egraph_term2literal()3730 egraph_term_is_false(egraph, atm->eterm)); in propagate_boolean_equality()3733 l = mk_lit(atm->boolvar, egraph_term_is_false(egraph, atm->eterm)); in propagate_boolean_equality()5295 assert(egraph_term_is_false(egraph, eq) || egraph_term_asserted_false(egraph, eq)); in egraph_find_eq()