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

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

 void collect_param_descrs(param_descrs & p) {
     m_context.collect_params(p);
 }