C++ (Cpp) del_monomial Exemples

Exemple #1

Fichier : grobner.cpp Projet : 0Chuzz/z3

void grobner::del_monomials(ptr_vector<monomial>& ms) {
    ptr_vector<monomial>::iterator it  = ms.begin();
    ptr_vector<monomial>::iterator end = ms.end();
    for (; it != end; ++it) {
        del_monomial(*it);
    }
    ms.reset();
}

Exemple #2

Fichier : grobner.cpp Projet : jackluo923/juxta

void grobner::del_equation(equation * eq) {
    m_processed.erase(eq);
    m_to_process.erase(eq);
    SASSERT(m_equations_to_delete[eq->m_bidx] == eq);
    m_equations_to_delete[eq->m_bidx] = 0;
    ptr_vector<monomial>::iterator it1  = eq->m_monomials.begin();
    ptr_vector<monomial>::iterator end1 = eq->m_monomials.end();
    for (; it1 != end1; ++it1) {
        monomial * m = *it1;
        del_monomial(m);
    }
    dealloc(eq);
}