C++ (Cpp) rule_ref::display Examples

Example #1

File: dl_context.cpp Project: sslab-gatech/juxta

void context::check_quantifier_free(rule_ref& r) {
    if (r->has_quantifiers()) {
        std::stringstream stm;
        stm << "cannot process quantifiers in rule ";
        r->display(*this, stm);
        throw default_exception(stm.str());
    }
}

Example #2

File: dl_context.cpp Project: sslab-gatech/juxta

void context::check_uninterpreted_free(rule_ref& r) {
    func_decl* f = 0;
    if (r->has_uninterpreted_non_predicates(m, f)) {
        std::stringstream stm;
        stm << "Uninterpreted '"
            << f->get_name()
            << "' in ";
        r->display(*this, stm);
        throw default_exception(stm.str());
    }
}