/*
 * DFA.cpp
 *
 * Created on: Sep 26, 2017
 * Author: Jan Travnicek
 */

#include "DFA.h"
#include <automaton/Automaton.h>

#include <registration/StringRegistration.hpp>

namespace {

auto stringWrite = registration::StringWriterRegister < automaton::DFA < > > ( );
auto stringReader = registration::StringReaderRegister < automaton::Automaton, automaton::DFA < > > ( );

} /* namespace */
