dynamic_library

Include file:

#include "mcrl2/utilities/dynamiclibrary.h
class dynamic_library

Private attributes

library_handle dynamic_library::m_library

Protected attributes

std::string dynamic_library::m_filename

Private member functions

void load()

Protected member functions

void unload()

Public member functions

dynamic_library(const std::string &filename = std::string())
library_proc proc_address(const std::string &name)
virtual ~dynamic_library()