source: _old/app/src/compiledic/aut2fsa.cc @ 57728c1

#include <iostream>
#include <stdlib.h>

#include "../lib/tfti.h"

#include <fstream>

using namespace std;

int main()
{
  TFTiv<char,char> a;
  a.read();
  a.save();

  return 0;
}