spot
1.0
|
Go to the source code of this file.
Enumerations | |
enum | output_format_t { spot_output, spin_output, utf8_output, lbt_output, wring_output } |
Functions | |
int | parse_opt_output (int key, char *arg, struct argp_state *state) |
void | output_formula (const spot::ltl::formula *f, const char *filename=0, int linenum=0) |
Variables | |
output_format_t | output_format |
bool | full_parenth |
struct argp | output_argp |
enum output_format_t |
void output_formula | ( | const spot::ltl::formula * | f, |
const char * | filename = 0 , |
||
int | linenum = 0 |
||
) |
int parse_opt_output | ( | int | key, |
char * | arg, | ||
struct argp_state * | state | ||
) |
bool full_parenth |
struct argp output_argp |
output_format_t output_format |