Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Data Structures | Namespaces | Typedefs
NormalizationRegistration.hpp File Reference
#include <registry/NormalizeRegistry.hpp>
#include <ext/registration>
Include dependency graph for NormalizationRegistration.hpp:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  registration::NormalizationRegisterEmpty
 
class  registration::NormalizationRegisterImpl< ReturnType >
 

Namespaces

namespace  registration
 

Typedefs

template<class ReturnType >
using registration::NormalizationRegisterImplBase = std::conditional_t< std::is_same< ReturnType, core::normalizationResult< ReturnType > >::value, NormalizationRegisterEmpty, ext::Register< std::list< std::unique_ptr< abstraction::NormalizeRegistry::Entry > >::const_iterator > >
 
template<class ReturnType >
using registration::NormalizationRegister = std::conditional_t< core::has_eval< core::normalize< ReturnType > >::value, NormalizationRegisterImpl< ReturnType >, NormalizationRegisterEmpty >