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

Esempio n. 1

File: api_datalog.cpp Progetto: perillaseed/z3

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