ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear > Class Template Reference

Public Types
using	Builder = Builder_
using	AcirConstraint = AcirConstraint_

Static Public Attributes
static constexpr size_t	NUM_MULTIPLICATION_TERMS = num_multiplication_terms
static constexpr size_t	NUM_LINEAR_TERMS = num_linear_terms
static constexpr bool	OVERLAP_MUL_AND_LINEAR = overlap_mul_and_linear
static constexpr bool	OVERLAP_LINEAR = overlap_linear

Detailed Description

template<typename Builder_, typename AcirConstraint_, size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>
class ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >

Definition at line 21 of file arithmetic_constraints.test.cpp.

Member Typedef Documentation

AcirConstraint

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>

using ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::AcirConstraint = AcirConstraint_

Definition at line 24 of file arithmetic_constraints.test.cpp.

Builder

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>

using ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::Builder = Builder_

Definition at line 23 of file arithmetic_constraints.test.cpp.

Member Data Documentation

NUM_LINEAR_TERMS

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>

constexpr size_t ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::NUM_LINEAR_TERMS = num_linear_terms

staticconstexpr

Definition at line 26 of file arithmetic_constraints.test.cpp.

NUM_MULTIPLICATION_TERMS

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>

constexpr size_t ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::NUM_MULTIPLICATION_TERMS = num_multiplication_terms

staticconstexpr

Definition at line 25 of file arithmetic_constraints.test.cpp.

OVERLAP_LINEAR

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>

constexpr bool ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::OVERLAP_LINEAR = overlap_linear

staticconstexpr

Definition at line 28 of file arithmetic_constraints.test.cpp.

OVERLAP_MUL_AND_LINEAR

template<typename Builder_ , typename AcirConstraint_ , size_t num_multiplication_terms, size_t num_linear_terms, bool overlap_mul_and_linear, bool overlap_linear>

constexpr bool ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::OVERLAP_MUL_AND_LINEAR = overlap_mul_and_linear

staticconstexpr

Definition at line 27 of file arithmetic_constraints.test.cpp.

---

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

• src/barretenberg/dsl/acir_format/arithmetic_constraints.test.cpp