//-----------------------------------------------------------------------------*
//    Files from LIBPM                                   
//-----------------------------------------------------------------------------*

//--- Command Line Option
#include "command_line_interface/C_CommandLineOption.cpp"
#include "command_line_interface/C_BoolCommandLineOption.cpp"
#include "command_line_interface/C_UIntCommandLineOption.cpp"
#include "command_line_interface/C_StringCommandLineOption.cpp"
#include "command_line_interface/C_StringListCommandLineOption.cpp"
#include "command_line_interface/C_builtin_CLI_Options.cpp"
#include "command_line_interface/F_Analyze_CLI_Options.cpp"
#include "command_line_interface/F_mainForLIBPM.cpp"

//--- BDD
#include "bdd/C_BDD.cpp"
#include "bdd/C_BDD-find-or-add.cpp"
#include "bdd/C_BDD-single-operand-ops.cpp"
#include "bdd/C_BDD-and-operation.cpp"
#include "bdd/C_RelationSingleType.cpp"
#include "bdd/C_RelationConfiguration.cpp"
#include "bdd/C_Relation.cpp"

//--- Files
#include "files/C_FileManager.cpp"
#include "files/AC_FileHandleForWriting.cpp"
#include "files/AC_FileHandle.cpp"
#include "files/C_TextFileWrite.cpp"
#include "files/C_HTML_FileWrite.cpp"
#include "files/C_BinaryFileWrite.cpp"

//--- Streams
#include "streams/AC_OutputStream.cpp"
#include "streams/C_ColoredConsole.cpp"
#include "streams/C_ConsoleOut.cpp"
#include "streams/C_ErrorOut.cpp"
#include "streams/C_TCPSocketOut.cpp"

//--- Strings
#include "strings/unicode_character_cpp.cpp"
#include "strings/unicode_string_routines.cpp"
#include "strings/C_String.cpp"
#include "strings/C_HTMLString.cpp"

//--- Time
#include "time/C_Timer.cpp"
#include "time/C_DateTime.cpp"

//--- Utilities
#include "utilities/C_PrologueEpilogue.cpp"
#include "utilities/C_SharedObject.cpp"
#include "utilities/C_BigInt.cpp"
#include "utilities/C_Data.cpp"
#include "utilities/F_DisplayException.cpp"
#include "utilities/MF_Assert.cpp"
#include "utilities/F_GetPrime.cpp"
#include "utilities/MF_MemoryControl.cpp"
#include "utilities/cpp-allocation.cpp"
#include "utilities/basic-allocation.cpp"
#include "utilities/PMUInt128.cpp"
#include "utilities/C_UIntSet.cpp"
#include "utilities/C_DirectedGraph.cpp"
#include "utilities/md5.cpp"

//-----------------------------------------------------------------------------*