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

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

 void add_cover(int level, func_decl* pred, expr* predicate) {
     m_context.add_cover(level, pred, predicate);
 }