Searched defs:simplify_inj_axiom (Results 1 – 2 of 2) sorted by relevance
30 bool simplify_inj_axiom(ast_manager & m, quantifier * q, expr_ref & result) { in simplify_inj_axiom() function