Esempi in C++ (Cpp) per context::get_cover_delta

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

 expr_ref get_cover_delta(int level, func_decl* pred) {
     return m_context.get_cover_delta(level, pred);
 }