Searched refs:f_card (Results 1 – 2 of 2) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/model/ |
| H A D | model_smt2_pp.cpp | 125 format_ref f_card(fm(m)); in pp_uninterp_sorts() local
126 f_card = mk_indent(m, indent, mk_seq1<format**, f2f>(m, f_args, f_args+2, f2f(), "forall")); in pp_uninterp_sorts()
128 pp(out, f_card, m); in pp_uninterp_sorts()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/model/ |
| H A D | model_smt2_pp.cpp | 125 format_ref f_card(fm(m)); in pp_uninterp_sorts() local
126 f_card = mk_indent(m, indent, mk_seq1<format**, f2f>(m, f_args, f_args+2, f2f(), "forall")); in pp_uninterp_sorts()
128 pp(out, f_card, m); in pp_uninterp_sorts()
|