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

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

 void add_rule(expr* rule, symbol const& name) {
     m_context.add_rule(rule, name);
 }