Exemplos de get_num_assertions em C++ (Cpp)

Exemplo n.º 1

Arquivo: solver.cpp Projeto: miquelramirez/z3

void solver::get_assertions(expr_ref_vector& fmls) const {
    unsigned sz = get_num_assertions();
    for (unsigned i = 0; i < sz; ++i) {
        fmls.push_back(get_assertion(i));
    }
}

Exemplo n.º 2

Arquivo: solver.cpp Projeto: Moondee/Artemis

 virtual expr * get_assertion(unsigned idx) const {
     SASSERT(m_context);
     SASSERT(idx < get_num_assertions());
     return m_context->get_formulas()[idx];
 }