Skip to content
Snippets Groups Projects
Unverified Commit dfedadeb authored by Jan Trávníček's avatar Jan Trávníček Committed by Tomáš Pecka
Browse files

data: add epsilon NFTA

parent c11a19e9
No related branches found
No related tags found
1 merge request!185Z automata merge
#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 */
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment