Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

ltlvisit/tostring.hh File Reference

#include <ltlast/formula.hh>
#include <iosfwd>

Include dependency graph for tostring.hh:

Include dependency graph

Go to the source code of this file.

Namespaces

namespace  spot
namespace  spot::ltl

Functions

std::ostream & to_string (const formula *f, std::ostream &os)
 Output a formula as a (parsable) string.
std::string to_string (const formula *f)
 Convert a formula into a (parsable) string.
std::ostream & to_spin_string (const formula *f, std::ostream &os)
 Output a formula as a (parsable by Spin) string.
std::string to_spin_string (const formula *f)
 Convert a formula into a (parsable by Spin) string.


Function Documentation

std::string to_spin_string const formula *  f  ) 
 

Convert a formula into a (parsable by Spin) string.

Parameters:
f The formula to translate.

std::ostream& to_spin_string const formula *  f,
std::ostream &  os
 

Output a formula as a (parsable by Spin) string.

Parameters:
f The formula to translate.
os The stream where it should be output.

std::string to_string const formula *  f  ) 
 

Convert a formula into a (parsable) string.

Parameters:
f The formula to translate.

std::ostream& to_string const formula *  f,
std::ostream &  os
 

Output a formula as a (parsable) string.

Parameters:
f The formula to translate.
os The stream where it should be output.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Aug 13 14:42:42 2004 for spot by doxygen 1.3.8