tostring.hh 307 Bytes
Newer Older
1
2
3
4
5
6
#ifndef SPOT_LTLVISIT_AST2STRING_HH
# define SPOT_LTLVISIT_AST2STRING_HH

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

7
namespace spot
8
9
10
{
  namespace ltl
  {
11
12
    void to_string(const formula* f, std::ostream& os);
    std::string to_string(const formula* f);
13
14
15
16
  }
}

#endif // SPOT_LTLVISIT_AST2STRING_HH