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