C++ (Cpp) CTX::add_clauseの例

コード例 #1

ファイル: subpaving.cpp プロジェクト: chadbrewbaker/z3

 void add_clause(unsigned sz, ineq * const * atoms) override { m_ctx.add_clause(sz, reinterpret_cast<typename CTX::ineq * const *>(atoms)); }