dynamic_library¶

Include file:

#include "mcrl2/utilities/dynamiclibrary.h

class dynamic_library¶

Protected attributes¶

std::string dynamic_library::m_filename¶

library_handle dynamic_library::m_library¶

Protected member functions¶

void load()¶

void unload()¶

Public member functions¶

dynamic_library(const std::string &filename = std::string())¶

library_proc proc_address(const std::string &name)¶

virtual ~dynamic_library()¶