Beispiel #1
0
 var mk_var(bool is_int) override { return m_ctx.mk_var(is_int); }
Beispiel #2
0
 virtual var mk_var(bool is_int) { return m_ctx.mk_var(is_int); }