00001
00004 #ifndef DIVINE_SYSTEM_ABILITIES_HH
00005 #define DIVINE_SYSTEM_ABILITIES_HH
00006
00007 #ifndef DOXYGEN_PROCESSING
00008
00009 #include <string>
00010
00011 namespace divine {
00012 using std::cerr; using std::endl;
00013 #endif //DOXYGEN_PROCESSING
00014
00015
00017
00026 struct system_abilities_t
00027 {
00028
00030 bool explicit_system_can_system_transitions;
00032 bool explicit_system_can_evaluate_expressions;
00033
00034
00036 bool system_can_be_modified;
00038 bool system_can_processes;
00040 bool system_can_property_process;
00042 bool system_can_decompose_property;
00044 bool system_can_transitions;
00045
00046
00048 bool process_can_be_modified;
00050 bool process_can_read;
00052 bool process_can_transitions;
00053
00054
00056 bool transition_can_be_modified;
00058 bool transition_can_read;
00059
00061
00062 system_abilities_t()
00063 {
00064
00065 explicit_system_can_system_transitions = false;
00066 explicit_system_can_evaluate_expressions = false;
00067
00068 system_can_be_modified = false;
00069 system_can_processes = false;
00070 system_can_property_process = false;
00071 system_can_decompose_property = false;
00072 system_can_transitions = false;
00073
00074 process_can_be_modified = false;
00075 process_can_read = false;
00076 process_can_transitions = false;
00077
00078 transition_can_be_modified = false;
00079 transition_can_read = false;
00080 }
00081
00082 };
00083
00084
00085 #ifndef DOXYGEN_PROCESSING
00086 }
00087 #include "common/undeb.hh"
00088
00089 #endif //DOXYGEN_PROCESSING
00090
00091 #endif
00092
00093