spot
1.1.3
|
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
ta * | spot::minimize_ta (const ta *ta_) |
Construct a simplified TA by merging bisimilar states. More... | |
tgta_explicit * | spot::minimize_tgta (const tgta_explicit *tgta_) |
Construct a simplified TGTA by merging bisimilar states. More... | |