00001
00004 #ifndef DIVINE_DVE_PROB_SYSTEM_HH
00005 #define DIVINE_DVE_PROB_SYSTEM_HH
00006
00007 #ifndef DOXYGEN_PROCESSING
00008 #include <fstream>
00009 #include "system/dve/dve_system.hh"
00010 #include "system/prob_system.hh"
00011 #include "common/error.hh"
00012
00013
00014 namespace divine {
00015 #endif //DOXYGEN_PROCESSING
00016
00017 class dve_prob_system_t: public virtual prob_system_t,
00018 public virtual dve_system_t
00019 {
00020 public:
00022
00025 dve_prob_system_t(error_vector_t & evect = gerr): system_t(evect),
00026 prob_system_t(evect),
00027 dve_system_t(evect) {}
00028
00030 virtual ~dve_prob_system_t() {}
00031
00032 virtual slong_int_t read(std::istream & ins)
00033 {
00034 slong_int_t result = dve_system_t::read(ins);
00035 if (result==0) prob_system_t::consolidate();
00036 return result;
00037 }
00038
00039
00040
00041
00042
00043
00044
00045
00046 };
00047
00048 #ifndef DOXYGEN_PROCESSING
00049 }
00050 #endif //DOXYGEN_PROCESSING
00051
00052 #endif