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>,
                                       UltraRollupRecursiveFlavor_<UltraCircuitBuilder>,
                                       MegaRecursiveFlavor_<UltraCircuitBuilder>,
                                       MegaRecursiveFlavor_<MegaCircuitBuilder>,
                                       MegaZKRecursiveFlavor_<MegaCircuitBuilder>,
                                       MegaZKRecursiveFlavor_<UltraCircuitBuilder>,
                                       TranslatorRecursiveFlavor,
                                       ECCVMRecursiveFlavor,
                                       AvmRecursiveFlavor,
                                       avm2::AvmRecursiveFlavor>

Detailed Description

Definition at line 46 of file flavor_concepts.hpp.