save.hh 283 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
#ifndef SPOT_TGBAALGOS_SAVE_HH
# define SPOT_TGBAALGOS_SAVE_HH

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

namespace spot
{
  /// \brief Save reachable states in text format.
  std::ostream& tgba_save_reachable(std::ostream& os, const tgba& g);
}

#endif // SPOT_TGBAALGOS_SAVE_HH