22 #include <spot/ta/ta.hh> 23 #include <spot/ta/tgta.hh> 24 #include <spot/ta/tgtaexplicit.hh> 56 SPOT_API ta_explicit_ptr
72 SPOT_API tgta_explicit_ptr
ta_explicit_ptr minimize_ta(const const_ta_ptr &ta_)
Construct a simplified TA by merging bisimilar states.
tgta_explicit_ptr minimize_tgta(const const_tgta_explicit_ptr &tgta_)
Construct a simplified TGTA by merging bisimilar states.