bb::RelationChecker< MegaFlavor > Class Reference

#include <relation_checker.hpp>

Inheritance diagram for bb::RelationChecker< MegaFlavor >:

Static Public Member Functions
static void	check_all (const auto &polynomials, const auto &params)
Static Public Member Functions inherited from bb::RelationChecker< void >
static void	check_all (const auto &polynomials, const auto &params)
	Check that the provided polynomials satisfy all relations for a given Flavor.
static void	check (const auto &polynomials, const auto &params, std::string label="Relation")
	Check that a single specified relation is satisfied for a set of polynomials.

Private Types
using	Base = RelationChecker< void >

Detailed Description

Definition at line 111 of file relation_checker.hpp.

Member Typedef Documentation

Base

using bb::RelationChecker< MegaFlavor >::Base = RelationChecker<void>

private

Definition at line 112 of file relation_checker.hpp.

Member Function Documentation

check_all()

static void bb::RelationChecker< MegaFlavor >::check_all ( const auto &  polynomials, const auto &  params  )

inlinestatic

Definition at line 115 of file relation_checker.hpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/honk/relation_checker.hpp