dump.hh 437 Bytes
Newer Older
1
2
3
#ifndef SPOT_LTLVISIT_DUMP_HH
# define SPOT_LTLVISIT_DUMP_HH

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

7
namespace spot
8
9
10
{
  namespace ltl
  {
11
12
13
14
15
    /// \brief Dump a formula tree.
    /// \param f The formula to dump.
    /// \param os The stream where it should be output.
    ///
    /// This is useful to display a formula when debugging.
16
    void dump(const formula* f, std::ostream& os);
17
18
19
20
  }
}

#endif // SPOT_LTLVISIT_DUMP_HH