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

4
#include <ltlast/formula.hh>
5
6
7
8
9
10
#include <iostream>

namespace spot 
{
  namespace ltl
  {
11
    void dotty(const formula& f, std::ostream& os);
12
13
14
15
  }
}

#endif // SPOT_LTLVISIT_DOTTY_HH