19 #ifndef SPOT_TA_TAEXPLICIT_HH
20 # define SPOT_TA_TAEXPLICIT_HH
34 class state_ta_explicit;
35 class ta_explicit_succ_iterator;
45 bool own_tgba =
false);
59 bool add_at_beginning =
false);
267 state_ta_explicit::transitions::const_iterator
i_;
273 #endif // SPOT_TA_TAEXPLICIT_HH