dotty.hh 508 Bytes
Newer Older
1
2
3
#ifndef SPOT_LTLVISIT_DOTTY_HH
# define SPOT_LTLVISIT_DOTTY_HH

4
#include <ltlast/formula.hh>
5
6
#include <iostream>

7
namespace spot
8
9
10
{
  namespace ltl
  {
11
12
13
14
15
16
    /// \brief Write a formula tree using dot's syntax.
    /// \param f The formula to translate.
    /// \param os The stream where it should be output.
    ///
    /// \c dot is part of the GraphViz package
    /// http://www.research.att.com/sw/tools/graphviz/
17
    void dotty(const formula* f, std::ostream& os);
18
19
20
21
  }
}

#endif // SPOT_LTLVISIT_DOTTY_HH