Go to the source code of this file.
Namespaces | |
namespace | spot |
Functions | |
evtgba_explicit * | tgba_to_evtgba (const tgba *a) |
Convert a tgba into an evtgba. |
|
Convert a tgba into an evtgba. (This cannot be done on-the-fly because the alphabet of a tgba as unknown beforehand.) |