|
Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
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 > |