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)); }