uncompiled_library¶

Include file:

#include "mcrl2/utilities/uncompiledlibrary.h

class uncompiled_library¶

Protected attributes¶

std::string uncompiled_library::m_compile_script¶

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

Protected member functions¶

uncompiled_library() = delete¶

Public member functions¶

void cleanup()¶

void compile(const std::string &filename)¶

void leave_files()¶

uncompiled_library(const std::string &script)¶

virtual ~uncompiled_library()¶