13 ExtensionManagerFactory* ExtensionManagerFactory::s_factory = 0;
14 mutex ExtensionManagerFactory::s_mutex;
18 unique_lock<mutex> lock(s_mutex);
25 void ExtensionManagerFactory::deleteFactory()
27 unique_lock<mutex> lock(s_mutex);
A factory class for creating ExtensionManager objects.
Namespace for the Cantera kernel.