C++ (Cpp) param_descrs::copy Examples

Example #1

File: gparams.cpp Project: levnach/z3

 void register_global(param_descrs & d) {
     // Don't need synchronization here, this method
     // is invoked from check_registered that is already protected.
     m_param_descrs.copy(d);
 }