TaPAS  0.2
prestaf-init.h File Reference
#include <prestaf/prestaf-automata.h>
#include <prestaf/prestaf-formula.h>

Go to the source code of this file.