Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
tgba.hh 176 Bytes
Newer Older
Alexandre Duret-Lutz's avatar
Initial code for TGBA (Transition Generalized Bchi Automata).  
Alexandre Duret-Lutz committed
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