C++ (Cpp) params_ref::get_double 예제들

예제 #1

파일: bound_propagator.cpp 프로젝트: AleksandarZeljic/z3

void bound_propagator::updt_params(params_ref const & p) {
    m_max_refinements = p.get_uint("bound_max_refinements", 16);
    m_threshold       = p.get_double("bound_threshold", 0.05);
    m_small_interval  = p.get_double("bound_small_interval", 128);
    m_strict2double   = p.get_double("strict2double", 0.00001);
}

예제 #2

파일: params.cpp 프로젝트: greatmazinger/z3

double params_ref::get_double(char const * k, params_ref const & fallback, double _default) const {
    return m_params ? m_params->get_double(k, fallback, _default) : fallback.get_double(k, _default);
}