Yet Another Vaucanson GUI
From LRDE
- Authors
- Florent D'Halluin
- Type
- techreport
- Year
- 2008
- Number
- 0822
- Projects
- Vaucanson
- Keywords
- Vaucanson, Vaucanson GUI, User Interface, QT, Design principles
Abstract
Vaucanson is a finite state machine manipulation platform. Since it was started in 2002, the project has been attracting more and more users. In that regard, it requires an efficient user front end.par For non-expert usersautomaton manipulation can be done via taf-kit, a set of command-line tools. A first GUI was developed in 2005. Its use was slow and complicated since it relied on taf-kit for every operation.par This new GUI, plugged directly into the core of the Vaucanson library for efficiencysimplifies the automaton manipulation process and makes full use of the generic algorithms included in the library.