prestaf-init.h File Reference

#include <prestaf/prestaf-automata.h>
#include <prestaf/prestaf-formula.h>

Go to the source code of this file.