dotty.hh 282 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
#ifndef SPOT_TGBAALGOS_DOTTY_HH
# define SPOT_TGBAALGOS_DOTTY_HH

#include "tgba/tgba.hh"
#include <iostream>

namespace spot
{
  /// \brief Print reachable states in dot format.
10
  std::ostream& dotty_reachable(std::ostream& os, const tgba* g);
11
12
13
}

#endif // SPOT_TGBAALGOS_DOTTY_HH