dottydec.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef SPOT_TGBAALGOS_DOTTYDEC_HH
00023 # define SPOT_TGBAALGOS_DOTTYDEC_HH
00024
00025 #include <string>
00026
00027 namespace spot
00028 {
00029 class state;
00030 class tgba;
00031 class tgba_succ_iterator;
00032
00035
00038 class dotty_decorator
00039 {
00040 public:
00041 virtual ~dotty_decorator();
00042
00056 virtual std::string state_decl(const tgba* a, const state* s, int n,
00057 tgba_succ_iterator* si,
00058 const std::string& label);
00059
00078 virtual std::string link_decl(const tgba* a,
00079 const state* in_s, int in,
00080 const state* out_s, int out,
00081 const tgba_succ_iterator* si,
00082 const std::string& label);
00083
00085 static dotty_decorator* instance();
00086 protected:
00087 dotty_decorator();
00088 };
00089 }
00090
00091 #endif // SPOT_TGBAALGOS_DOTTYDEC_HH