/*
 * RTEOptimize.cpp
 *
 *  Created on: 1. 4. 2019
 *	  Author: Jan Travnicek
 */

#include "RTEOptimize.h"
#include <registration/AlgoRegistration.hpp>

namespace {

auto RTEOptimizeFormalRTE = registration::AbstractRegister < rte::simplify::RTEOptimize, rte::FormalRTE < >, const rte::FormalRTE < > & > ( rte::simplify::RTEOptimize::optimize, "rte" ).setDocumentation (
"Implements a rte simplification algorithm that is transforming the regular expression to be smaller.\n\
\n\
@param rte the simplified rte\n\
@return the simlified rte" );

} /* namespace */
