C++ (Cpp) get_max_var примеры использования

Пример #1

Файл: ast_counter.cpp Проект: AleksandarZeljic/z3

unsigned var_counter::get_next_var(expr* e) {
    bool has_var = false;
    m_todo.push_back(e);
    unsigned mv = get_max_var(has_var);
    if (has_var) mv++;
    return mv;
}

Пример #2

Файл: dl_util.cpp Проект: Moondee/Artemis

 unsigned var_counter::get_max_var(const rule & r) {
     m_todo.push_back(r.get_head());
     m_scopes.push_back(0);
     unsigned n = r.get_tail_size();
     bool has_var = false;
     for (unsigned i = 0; i < n; i++) {
         m_todo.push_back(r.get_tail(i));
         m_scopes.push_back(0);
     }
     return get_max_var(has_var);
 }

Пример #3

Файл: ast_counter.cpp Проект: AleksandarZeljic/z3

unsigned var_counter::get_max_var(expr* e) {
    bool has_var = false;
    m_todo.push_back(e);
    return get_max_var(has_var);
}