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 > |