Skip to content
Snippets Groups Projects
Normal view Permalink
EpsilonNFTA.cpp 515 B
Newer Older
Jan Trávníček's avatar
data: add epsilon NFTA
Jan Trávníček committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 
#include "EpsilonNFTA.h"

#include <registration/ValuePrinterRegistration.hpp>
#include <registration/CastRegistration.hpp>

template class automaton::EpsilonNFTA < >;

namespace {

auto valuePrinter = registration::ValuePrinterRegister < automaton::EpsilonNFTA < > > ( );

auto EpsilonNFTAFromDFTA = registration::CastRegister < automaton::EpsilonNFTA < >, automaton::DFTA < > > ( );
auto EpsilonNFTAFromNFTA = registration::CastRegister < automaton::EpsilonNFTA < >, automaton::NFTA < > > ( );

} /* namespace */