bb::IsRecursiveFlavor Concept Reference

#include <flavor_concepts.hpp>

Concept definition

template<typename T>
concept bb::IsRecursiveFlavor =  IsAnyOf<T, UltraRecursiveFlavor_<UltraCircuitBuilder>,
                                       UltraRecursiveFlavor_<MegaCircuitBuilder>,
                                       UltraZKRecursiveFlavor_<UltraCircuitBuilder>,
                                       UltraZKRecursiveFlavor_<MegaCircuitBuilder>,
                                       MegaRecursiveFlavor_<UltraCircuitBuilder>,
                                       MegaRecursiveFlavor_<MegaCircuitBuilder>,
                                       MegaZKRecursiveFlavor_<MegaCircuitBuilder>,
                                       MegaZKRecursiveFlavor_<UltraCircuitBuilder>,
                                       MegaAvmRecursiveFlavor_<UltraCircuitBuilder>,
                                       MegaAppRecursiveFlavor,
                                       MegaKernelRecursiveFlavor,
                                       TranslatorRecursiveFlavor,
                                       ECCVMRecursiveFlavor,
                                       avm2::AvmRecursiveFlavor> ||
                                       IsMultilinearBatchingRecursiveFlavorImpl<T>::value

Detailed Description

Definition at line 44 of file flavor_concepts.hpp.