tgba.hh 176 Bytes
Newer Older
1
2
3
4
5
6
7
8
#ifndef SPOT_TGBA_TGBA_HH
# define SPOT_TGBA_TGBA_HH

# include "tgbabddconcrete.hh"
# include "tgbabddconcreteproduct.hh"
# include "ltl2tgba.hh"

#endif // SPOT_TGBA_TGBA_HH