uncompiled_library

Include file:

#include "mcrl2/utilities/uncompiledlibrary.h
class uncompiled_library

Private attributes

std::string uncompiled_library::m_compile_script
std::list<std::string> uncompiled_library::m_tempfiles

Public member functions

void cleanup()
void compile(const std::string &filename)
void leave_files()
uncompiled_library(const std::string &script)
virtual ~uncompiled_library()