Ejemplos de mpf_eq_proc en C++ (Cpp)

Ejemplo n.º 1

Archivo: float_decl_plugin.cpp Proyecto: jackluo923/juxta

float_decl_plugin::float_decl_plugin():
    m_values(m_fm),
    m_value_table(mpf_hash_proc(m_values), mpf_eq_proc(m_values)) {
    m_real_sort = 0;
    m_int_sort  = 0;
    m_bv_plugin = 0;
}

Ejemplo n.º 2

Archivo: fpa_decl_plugin.cpp Proyecto: NikolajBjorner/z3

fpa_decl_plugin::fpa_decl_plugin():
    m_values(m_fm),
    m_value_table(mpf_hash_proc(m_values), mpf_eq_proc(m_values)) {
    m_real_sort = nullptr;
    m_int_sort  = nullptr;
    m_bv_plugin = nullptr;
}