bb::RelationChecker< MegaFlavor > Class Reference

#include <relation_checker.hpp>

Inheritance diagram for bb::RelationChecker< MegaFlavor >:

Static Public Member Functions
static AllSubrelationFailures	check_all (const auto &polynomials, const auto &params)
Static Public Member Functions inherited from bb::RelationChecker< void >
static AllSubrelationFailures	check_all (const auto &polynomials, const auto &params)
	Check that the provided polynomials satisfy all relations for a given Flavor.
static FirstSubrelationFailures	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 >

Additional Inherited Members
Public Types inherited from bb::RelationChecker< void >
using	FirstSubrelationFailures = std::map< size_t, uint32_t >
using	AllSubrelationFailures = std::map< std::string, FirstSubrelationFailures >

Detailed Description

Definition at line 163 of file relation_checker.hpp.

Member Typedef Documentation

Base

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

private

Definition at line 164 of file relation_checker.hpp.

Member Function Documentation

check_all()

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

inlinestatic

Definition at line 167 of file relation_checker.hpp.

---

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

• src/barretenberg/honk/relation_checker.hpp