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

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

 unsigned get_num_levels(func_decl* pred) {
     return m_context.get_num_levels(pred);
 }