00001
00004 #ifndef DIVINE_BYMOC_TRANSITION_HH
00005 #define DIVINE_BYMOC_TRANSITION_HH
00006
00007 #ifndef DOXYGEN_PROCESSING
00008 #include <iostream>
00009 #include <string>
00010 #include <sstream>
00011 #include "system/transition.hh"
00012 #include "common/error.hh"
00013 #include "system/bymoc/bymoc_expression.hh"
00014 #include "common/array.hh"
00015 #include "common/bit_string.hh"
00016 #include "common/deb.hh"
00017
00018 namespace divine {
00019 using std::cerr; using std::endl;
00020 #endif //DOXYGEN_PROCESSING
00021
00023
00026 class bymoc_transition_t: public transition_t
00027 {
00028 public:
00029
00030 bymoc_transition_t(): transition_t() {}
00031 bymoc_transition_t(system_t * const system): transition_t(system) {}
00033 virtual ~bymoc_transition_t();
00035 virtual std::string to_string() const;
00037 virtual int from_string(std::string & trans_str,
00038 const size_int_t process_gid = NO_ID);
00040 virtual void write(std::ostream & ostr) const;
00042 virtual int read(std::istream & istr, size_int_t process_gid = NO_ID);
00043 };
00044
00045 #ifndef DOXYGEN_PROCESSING
00046 }
00047 #include "common/undeb.hh"
00048
00049 #endif //DOXYGEN_PROCESSING
00050
00051 #endif
00052
00053