- t -

• tba_determinize() : spot
• tba_determinize_check() : spot
• tgba_determinize() : spot
• tgba_powerset() : spot
• tgba_to_ta() : spot
• tgba_to_tgta() : spot
• to_dca() : spot
• to_finite() : spot
• to_generalized_buchi() : spot
• to_generalized_rabin() : spot
• to_generalized_streett() : spot
• to_nca() : spot
• to_parity() : spot
• to_parity_old() : spot
• to_weak_alternating() : spot
• transform_accessible() : spot
• transform_copy() : spot
• try_create_direct_strategy() : spot
• twa_to_twacube() : spot
• twacube_to_twa() : spot