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