spot  1.0.2
Enumerations | Functions | Variables
common_output.hh File Reference
#include "common_sys.hh"
#include <argp.h>
#include "ltlast/formula.hh"
Include dependency graph for common_output.hh:

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

Enumeration Type Documentation

Enumerator:
spot_output 
spin_output 
utf8_output 
lbt_output 
wring_output 

Function Documentation

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 
)

Variable Documentation

bool full_parenth
struct argp output_argp
output_format_t output_format

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:14 for spot by doxygen 1.8.1.2