00001 #ifndef _DIVINE_SYSOPEN_HH_
00002 #define _DIVINE_SYSOPEN_HH_
00003
00012 #include <iostream>
00013 #include <cstring>
00014 #include <string>
00015 #include "system/dve/dve_explicit_system.hh"
00016 #include "system/dveC/dveC_explicit_system.hh"
00017 #include "system/bymoc/bymoc_explicit_system.hh"
00018 #include "system/mcrl2_explicit_system.hh"
00019
00020 #ifndef DOXYGEN_PROCESSING
00021 namespace divine {
00022 #endif //DOXYGEN_PROCESSING
00023
00024
00025 class system_description_t {
00026 public:
00027 std::string input_file_ext;
00028
00029 system_description_t();
00030 ~system_description_t();
00031
00032 explicit_system_t* open_system_from_file(char * filename,
00033 bool compileDveToDveC,
00034 bool verbose);
00035 };
00036
00037 #ifndef DOXYGEN_PROCESSING
00038 }
00039 #endif
00040
00041
00042 #endif
00043