spot
1.0
|
Go to the source code of this file.
Macros | |
#define | OPT_R 'r' |
#define | DECLARE_OPT_R |
#define | LEVEL_DOC(g) |
Functions | |
void | parse_r (const char *arg) |
spot::ltl::ltl_simplifier_options | simplifier_options () |
Variables | |
int | simplification_level |
#define DECLARE_OPT_R |
#define LEVEL_DOC | ( | g | ) |
#define OPT_R 'r' |
void parse_r | ( | const char * | arg | ) |
spot::ltl::ltl_simplifier_options simplifier_options | ( | ) |
int simplification_level |