spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Public Attributes | Protected Member Functions | Protected Attributes | List of all members
aut_stat_printer Class Reference
Inheritance diagram for aut_stat_printer:
Inheritance graph
Collaboration diagram for aut_stat_printer:
Collaboration graph

Public Member Functions

 aut_stat_printer (std::ostream &os, const char *format)
 
std::ostream & print (const spot::tgba *aut, const spot::ltl::formula *f=0, double run_time=-1.)
 

Public Attributes

printable_formula formula_
 

Protected Member Functions

bool has (char c) const
 Whether c occurred in the primed formats. More...
 
void declare (char c, const printable *f)
 Declare a callback function for c. More...
 
void set_output (std::ostream &output)
 Remember where to output any string. More...
 
std::ostream & format (const char *fmt)
 Expand the %-sequences in fmt, write the result on output_. More...
 
std::ostream & format (std::ostream &output, const char *fmt)
 Expand the %-sequences in fmt, write the result on output. More...
 
std::ostream & format (const std::string &fmt)
 Expand the %-sequences in fmt, write the result on output_. More...
 
std::ostream & format (std::ostream &output, const std::string &fmt)
 Expand the %-sequences in fmt, write the result on output. More...
 
void scan (const char *fmt, std::vector< bool > &has) const
 Scan the %-sequences occuring in fmt. More...
 
void scan (const std::string &fmt, std::vector< bool > &has) const
 
void prime (const char *fmt)
 
void prime (const std::string &fmt)
 

Protected Attributes

std::ostream * output_
 

Member Function Documentation

void spot::formater::declare ( char  c,
const printable f 
)
inlineinherited

Declare a callback function for c.

std::ostream& spot::formater::format ( const char *  fmt)
inherited

Expand the %-sequences in fmt, write the result on output_.

std::ostream& spot::formater::format ( std::ostream &  output,
const char *  fmt 
)
inlineinherited

Expand the %-sequences in fmt, write the result on output.

std::ostream& spot::formater::format ( const std::string &  fmt)
inlineinherited

Expand the %-sequences in fmt, write the result on output_.

std::ostream& spot::formater::format ( std::ostream &  output,
const std::string &  fmt 
)
inlineinherited

Expand the %-sequences in fmt, write the result on output.

bool spot::formater::has ( char  c) const
inlineinherited

Whether c occurred in the primed formats.

void spot::formater::prime ( const char *  fmt)
inherited

Collect the %-sequences occurring in fmt.

void spot::formater::scan ( const char *  fmt,
std::vector< bool > &  has 
) const
inherited

Scan the %-sequences occuring in fmt.

Set has['c'] for each c in fmt. has must be 256 wide.

void spot::formater::set_output ( std::ostream &  output)
inlineinherited

Remember where to output any string.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by doxygen 1.8.4