Ejemplos de quick_cmp en C++ (Cpp)

Ejemplo n.º 1

Archivo: discr_tree.cpp Proyecto: avigad/lean

 int operator()(edge const & e1, edge const & e2) const {
     if (e1.m_fn != e2.m_fn)
        return static_cast<int>(e1.m_fn) - static_cast<int>(e2.m_fn);
     if (e1.m_kind != e2.m_kind)
         return static_cast<int>(e1.m_kind) - static_cast<int>(e2.m_kind);
     return quick_cmp(e1.m_name, e2.m_name);
 }

Ejemplo n.º 2

Archivo: head_map.cpp Proyecto: codyroux/lean

int head_index::cmp::operator()(head_index const & i1, head_index const & i2) const {
    if (i1.m_kind != i2.m_kind || i1.m_kind != expr_kind::Constant)
        return static_cast<int>(i1.m_kind) - static_cast<int>(i2.m_kind);
    else
        return quick_cmp(i1.m_const_name, i2.m_const_name);
}