Exemplo n.º 1
0
 void add_rule(expr * rule, symbol const& name) {
     init();
     std::string error_msg;
     m_context->add_rule(rule, name);
 }