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

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

 void add_table_fact(func_decl* r, unsigned num_args, unsigned args[]) {
     m_context.add_table_fact(r, num_args, args);
 }