コード例 #1
0
ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3 
 unsigned num_vars() const override { return m_ctx.num_vars(); }
コード例 #2
0
ファイル: subpaving.cpp プロジェクト: AleksandarZeljic/z3 
 virtual unsigned num_vars() const { return m_ctx.num_vars(); }