src/taalgos/tgba2ta.cc · 4eaa7b24dffd1c3572ba6d9819ac32d1066f9ec8 · Spot / Spot · GitLab

Dec 08, 2011
4eaa7b24
Improving the construction of TGTA · 4eaa7b24
Ala-Eddine Ben-Salem authored Dec 08, 2011 and Alexandre Duret-Lutz committed Jul 15, 2012
```
* src/taalgos/tgba2ta.hh, src/taalgos/tgba2ta.cc:
optimization of the TGTA automaton obtained from a TGBA.
```
4eaa7b24
Improving the construction of TGTA
Ala-Eddine Ben-Salem authored Dec 08, 2011 and Alexandre Duret-Lutz committed Jul 15, 2012
```
* src/taalgos/tgba2ta.hh, src/taalgos/tgba2ta.cc:
optimization of the TGTA automaton obtained from a TGBA.
```