spot  1.1.3
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:33 for spot by doxygen 1.8.4