Searched refs:suffix_axiom (Results 1 – 3 of 3) sorted by relevance
70 void add_suffix_axiom(expr* n) { m_ax.suffix_axiom(n); } in add_suffix_axiom()
85 void suffix_axiom(expr* n);
1061 void axioms::suffix_axiom(expr* e) { in suffix_axiom() function in seq::axioms