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

Public Member Functions

 translator_runner (spot::bdd_dict_ptr dict, bool no_output_allowed=false)
 
void string_to_tmp (std::string &str, unsigned n, std::string &tmpname)
 
const std::string & formula () const
 
void round_formula (spot::formula f, unsigned serial)
 

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

spot::bdd_dict_ptr dict
 
quoted_string string_ltl_spot
 
quoted_string string_ltl_spin
 
quoted_string string_ltl_lbt
 
quoted_string string_ltl_wring
 
quoted_string filename_ltl_spot
 
quoted_string filename_ltl_spin
 
quoted_string filename_ltl_lbt
 
quoted_string filename_ltl_wring
 
printable_result_filename output
 
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.

Referenced by hoa_stat_printer::print().

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 Thu Oct 1 2015 05:49:14 for spot by doxygen 1.8.8