22 #include "common_sys.hh"
23 #include "ltlvisit/simplify.hh"
27 #define DECLARE_OPT_R \
28 { "simplify", OPT_R, "LEVEL", OPTION_ARG_OPTIONAL, \
29 "simplify formulas according to LEVEL (see below); LEVEL is " \
30 "set to 3 if omitted", 0 }
32 #define LEVEL_DOC(g) \
33 { 0, 0, 0, 0, "The simplification LEVEL may be set as follows.", g }, \
34 { " 0", 0, 0, OPTION_DOC | OPTION_NO_USAGE, \
35 "No rewriting", 0 }, \
36 { " 1", 0, 0, OPTION_DOC | OPTION_NO_USAGE, \
37 "basic rewritings and eventual/universal rules", 0 }, \
38 { " 2", 0, 0, OPTION_DOC | OPTION_NO_USAGE, \
39 "additional syntactic implication rules", 0 }, \
40 { " 3", 0, 0, OPTION_DOC | OPTION_NO_USAGE, \
41 "better implications using containment", 0 }
43 extern int simplification_level;
45 void parse_r(
const char* arg);
Definition: simplify.hh:31