circuit_builders.hpp

Go to the documentation of this file.

 
#pragma once
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
 
template <typename T>
concept IsUltraOrMegaBuilder = bb::IsAnyOf<T, bb::UltraCircuitBuilder, bb::MegaCircuitBuilder>;
 
template <typename T>
concept IsUltraBuilder = bb::IsAnyOf<T, bb::UltraCircuitBuilder>;
template <typename T>
concept IsMegaBuilder = bb::IsAnyOf<T, bb::MegaCircuitBuilder>;
template <typename T>
concept IsNotMegaBuilder = !IsMegaBuilder<T>;