22 #include "common_sys.hh"
26 #include "misc/formater.hh"
27 #include "misc/tmpfile.hh"
28 #include "twa/twagraph.hh"
31 extern const struct argp trans_argp;
51 extern std::vector<translator_spec> translators;
56 void print(std::ostream& os,
const char* pos)
const override;
62 unsigned translator_num;
63 enum output_format { None, Dstar, Hoa };
64 mutable output_format format;
68 void reset(
unsigned n);
71 void print(std::ostream& os,
const char* pos)
const override;
78 spot::bdd_dict_ptr dict;
96 bool no_output_allowed =
false);
97 void string_to_tmp(std::string& str,
unsigned n, std::string& tmpname);
98 const std::string& formula()
const;
105 #if HAVE_KILL && HAVE_ALARM
106 # define ENABLE_TIMEOUT 1
108 # define ENABLE_TIMEOUT 0
111 extern volatile bool timed_out;
112 extern unsigned timeout_count;
114 void setup_sig_handler();
115 int exec_with_timeout(
const char* cmd);
116 #else // !ENABLE_TIMEOUT
117 #define exec_with_timeout(cmd) system(cmd)
118 #define setup_sig_handler() while (0);
119 #endif // !ENABLE_TIMEOUT
Definition: common_trans.hh:59
Definition: formater.hh:42
Definition: common_trans.hh:53
Definition: common_trans.hh:75
Definition: common_trans.hh:33