bb::RelationChecker< Flavor > Class Template Reference

A debugging utility for checking whether a set of polynomials satisfies the relations for a given Flavor. More...

#include <relation_checker.hpp>

Static Public Member Functions
static void	check_all (const auto &polynomials, const auto &params)
	Check that the provided polynomials satisfy all relations for a given Flavor.
template<typename Relation , bool has_linearly_dependent = false>
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.

Detailed Description

template<typename Flavor>
class bb::RelationChecker< Flavor >

A debugging utility for checking whether a set of polynomials satisfies the relations for a given Flavor.

Template Parameters

Flavor

Definition at line 21 of file relation_checker.hpp.

Member Function Documentation

check()

template<typename Flavor >

template<typename Relation , bool has_linearly_dependent = false>

static void bb::RelationChecker< Flavor >::check ( const auto &  polynomials, const auto &  params, std::string  label = "Relation"  )

inlinestatic

Check that a single specified relation is satisfied for a set of polynomials.

Definition at line 35 of file relation_checker.hpp.

check_all()

template<typename Flavor >

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

inlinestatic

Check that the provided polynomials satisfy all relations for a given Flavor.

Definition at line 26 of file relation_checker.hpp.

---

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

• src/barretenberg/honk/relation_checker.hpp