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