C++ (Cpp) param_descrs::get_default Examples

Example #1

File: gparams.cpp Project: levnach/z3

 std::string get_default(param_descrs const & d, symbol const & p, symbol const & m) {
     if (!d.contains(p)) {
         throw_unknown_parameter(p, d, m);
     }
     char const * r = d.get_default(p);
     if (r == nullptr)
         return "default";
     return r;
 }