dynamic_library
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/utilities/dynamiclibrary.h

.. cpp:class:: dynamic_library

  

  

Protected attributes
-------------------------------------------------------------------------------

.. cpp:member:: std::string dynamic_library::m_filename
  
  

  

.. cpp:member:: library_handle dynamic_library::m_library
  
  

  

Protected member functions
-------------------------------------------------------------------------------

.. cpp:function:: void load()
  
  

  

.. cpp:function:: void unload()
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: dynamic_library(const std::string &filename=std::string())
  
  

  

.. cpp:function:: library_proc proc_address(const std::string &name)
  
  

  

.. cpp:function:: virtual ~dynamic_library()