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;
66 void reset(
unsigned n);
69 void print(std::ostream& os,
const char* pos)
const override;
76 spot::bdd_dict_ptr dict;
94 bool no_output_allowed =
false);
95 void string_to_tmp(std::string& str,
unsigned n, std::string& tmpname);
96 const std::string& formula()
const;
103 #if HAVE_KILL && HAVE_ALARM
104 # define ENABLE_TIMEOUT 1
106 # define ENABLE_TIMEOUT 0
109 extern volatile bool timed_out;
110 extern unsigned timeout_count;
112 void setup_sig_handler();
113 int exec_with_timeout(
const char* cmd);
114 #else // !ENABLE_TIMEOUT
115 #define exec_with_timeout(cmd) system(cmd)
116 #define setup_sig_handler() while (0);
117 #endif // !ENABLE_TIMEOUT
Definition: common_trans.hh:59
Definition: formater.hh:42
Definition: common_trans.hh:53
Definition: common_trans.hh:73
Definition: common_trans.hh:33