Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée

From LRDE

Revision as of 17:04, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReportFR | authors = Jérôme Galtier | titre = Adapter les structures de données de Vaucanson au concept de kind et à une interface rénovée | year = 2010 | resume = ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Résumé

La conception des automates dans Vaucanson occupe une place centrale concernant la généricité de la bibliothèque. Nous voulons pouvoir étendre cette modélisation pour supporter de nouveaux types et spécialiser des comportements afin d'améliorer les performances. L'introduction récente du concept de kind à la bibliothèque ainsi que la définition d'une nouvelle interface des automates ont pour objectifs de rationaliser les structures de données déjà présentes dans Vaucanson, comme les graphes utilisant Boost Multi Index. Le kind d'un automate est le type d'étiquettes qu'il porte sur ses transitions, une lettre ou un mot par exemple. L'utilisateur peut alors, à travers une hiérarchie d'itérateurs respectant la nouvelle interface, itérer de manière efficace sur les transitions portant une occurrence de ce kind spécifié comme prédicat (itérer sur les transitions portant la lettre a par exemple). Le gain est visible car l'utilisateur était contraint d'itérer sur le support d'un polynôme avant ces améliorations.