00001 #ifndef EVENT_LOOP_PROOF_DRIVER_HH
00002 #define EVENT_LOOP_PROOF_DRIVER_HH
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00016
00017
00018
00019 #include <EventLoop/Global.h>
00020
00021 #include <EventLoop/Driver.h>
00022
00023 namespace EL
00024 {
00025 class ProofDriver : public Driver
00026 {
00027
00028
00029
00030
00033 public:
00034 void testInvariant () const;
00035
00036
00040 public:
00041 ProofDriver ();
00042
00043
00047 public:
00048 bool returnFiles;
00049
00050
00052 public:
00053 std::string proofMaster;
00054
00055
00059 public:
00060 unsigned numWorkers;
00061
00062
00064 public:
00065 std::string makeParOptions;
00066
00067
00075 public:
00076 void removePar () const;
00077
00078
00079
00081 public:
00082 SH::MetaObject proofParm;
00083
00084
00087 public:
00088 static const std::string queryResultName;
00089
00090
00092 public:
00093 static const std::string optionParFile;
00094
00095
00096
00097
00098
00099
00100
00106 private:
00107 virtual void
00108 doSubmit (const Job& job, const std::string& location) const override;
00109
00110
00111
00112
00113
00114
00115
00116 #pragma GCC diagnostic push
00117 #pragma GCC diagnostic ignored "-Wpragmas"
00118 #pragma GCC diagnostic ignored "-Wunknown-pragmas"
00119 #pragma GCC diagnostic ignored "-Winconsistent-missing-override"
00120 ClassDef(ProofDriver, 1);
00121 #pragma GCC diagnostic pop
00122 };
00123 }
00124
00125 #endif