예제 #1
0
 unsigned num_vars() const override { return m_ctx.num_vars(); }
예제 #2
0
 virtual unsigned num_vars() const { return m_ctx.num_vars(); }