dotty.hh 282 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
#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.
  std::ostream& dotty_reachable(std::ostream& os, const tgba& g);
}

#endif // SPOT_TGBAALGOS_DOTTY_HH