20 #ifndef SPOT_TA_TAEXPLICIT_HH
21 # define SPOT_TA_TAEXPLICIT_HH
35 class state_ta_explicit;
36 class ta_explicit_succ_iterator;
46 bool own_tgba =
false);
60 bool add_at_beginning =
false);
268 state_ta_explicit::transitions::const_iterator
i_;
273 #endif // SPOT_TA_TAEXPLICIT_HH