21#include <spot/ta/ta.hh>
22#include <spot/ta/tgta.hh>
23#include <spot/ta/tgtaexplicit.hh>
39 SPOT_API ta_explicit_ptr
53 SPOT_API tgta_explicit_ptr
tgta_explicit_ptr minimize_tgta(const const_tgta_explicit_ptr &tgta_)
Construct a simplified TGTA by merging bisimilar states.
ta_explicit_ptr minimize_ta(const const_ta_ptr &ta_)
Construct a simplified TA by merging bisimilar states.
Definition: automata.hh:26