#include <qapplication.h>
#include "ExportStateTable.h"
#include "Machine.h"
#include "TransitionInfo.h"
#include "IOInfo.h"
#include "TableBuilder.h"