Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::stdlib::bigfield< Builder, T >::Limb Struct Reference

Represents a single limb of a bigfield element, with its value and maximum value. More...

#include <bigfield.hpp>

Public Member Functions

 Limb ()=default
 
 Limb (const field_t< Builder > &input, const uint256_t &max=DEFAULT_MAXIMUM_LIMB)
 
 Limb (const Limb &other)=default
 
 Limb (Limb &&other) noexcept=default
 
Limboperator= (const Limb &other)=default
 
Limboperator= (Limb &&other) noexcept=default
 
 ~Limb ()=default
 

Public Attributes

field_t< Builderelement
 
uint256_t maximum_value
 

Friends

std::ostream & operator<< (std::ostream &os, const Limb &a)
 

Detailed Description

template<typename Builder, typename T>
struct bb::stdlib::bigfield< Builder, T >::Limb

Represents a single limb of a bigfield element, with its value and maximum value.

The default maximum value of a new limb is set to 2^L - 1.

Definition at line 44 of file bigfield.hpp.

Constructor & Destructor Documentation

◆ Limb() [1/4]

template<typename Builder , typename T >
bb::stdlib::bigfield< Builder, T >::Limb::Limb ( )
default

◆ Limb() [2/4]

template<typename Builder , typename T >
bb::stdlib::bigfield< Builder, T >::Limb::Limb ( const field_t< Builder > &  input,
const uint256_t max = DEFAULT_MAXIMUM_LIMB 
)
inline

Definition at line 46 of file bigfield.hpp.

◆ Limb() [3/4]

template<typename Builder , typename T >
bb::stdlib::bigfield< Builder, T >::Limb::Limb ( const Limb other)
default

◆ Limb() [4/4]

template<typename Builder , typename T >
bb::stdlib::bigfield< Builder, T >::Limb::Limb ( Limb &&  other)
defaultnoexcept

◆ ~Limb()

template<typename Builder , typename T >
bb::stdlib::bigfield< Builder, T >::Limb::~Limb ( )
default

Member Function Documentation

◆ operator=() [1/2]

template<typename Builder , typename T >
Limb & bb::stdlib::bigfield< Builder, T >::Limb::operator= ( const Limb other)
default

◆ operator=() [2/2]

template<typename Builder , typename T >
Limb & bb::stdlib::bigfield< Builder, T >::Limb::operator= ( Limb &&  other)
defaultnoexcept

Friends And Related Symbol Documentation

◆ operator<<

template<typename Builder , typename T >
std::ostream & operator<< ( std::ostream &  os,
const Limb a 
)
friend

Definition at line 56 of file bigfield.hpp.

Member Data Documentation

◆ element

template<typename Builder , typename T >
field_t<Builder> bb::stdlib::bigfield< Builder, T >::Limb::element

Definition at line 67 of file bigfield.hpp.

◆ maximum_value

template<typename Builder , typename T >
uint256_t bb::stdlib::bigfield< Builder, T >::Limb::maximum_value

Definition at line 68 of file bigfield.hpp.


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