purify
C++ Purify implementation with native circuit and BPP support
Loading...
Searching...
No Matches
purify::detail::UInt128 Class Reference

#include <numeric.hpp>

Public Member Functions

UInt128 add_u64 (std::uint64_t addend) const
 
std::pair< UInt128, std::uint32_t > divmod_u32 (std::uint32_t divisor) const
 
std::uint64_t low64 () const
 
std::uint64_t high64 () const
 

Static Public Member Functions

static UInt128 from_words (std::uint64_t hi, std::uint64_t lo)
 
static UInt128 mul_u64 (std::uint64_t lhs, std::uint64_t rhs)
 

Detailed Description

Definition at line 28 of file numeric.hpp.

Member Function Documentation

◆ add_u64()

UInt128 purify::detail::UInt128::add_u64 ( std::uint64_t  addend) const
inline

Definition at line 60 of file numeric.hpp.

Referenced by purify::multiply(), and purify::BigUInt< Words >::try_mul_small().

◆ divmod_u32()

std::pair< UInt128, std::uint32_t > purify::detail::UInt128::divmod_u32 ( std::uint32_t  divisor) const
inline

Definition at line 71 of file numeric.hpp.

Referenced by purify::BigUInt< Words >::divmod_small().

◆ from_words()

static UInt128 purify::detail::UInt128::from_words ( std::uint64_t  hi,
std::uint64_t  lo 
)
inlinestatic

Definition at line 30 of file numeric.hpp.

Referenced by purify::BigUInt< Words >::divmod_small().

◆ high64()

std::uint64_t purify::detail::UInt128::high64 ( ) const
inline

Definition at line 108 of file numeric.hpp.

Referenced by purify::multiply(), and purify::BigUInt< Words >::try_mul_small().

◆ low64()

std::uint64_t purify::detail::UInt128::low64 ( ) const
inline

Definition at line 100 of file numeric.hpp.

Referenced by purify::multiply(), and purify::BigUInt< Words >::try_mul_small().

◆ mul_u64()

static UInt128 purify::detail::UInt128::mul_u64 ( std::uint64_t  lhs,
std::uint64_t  rhs 
)
inlinestatic

Definition at line 38 of file numeric.hpp.

Referenced by purify::multiply(), and purify::BigUInt< Words >::try_mul_small().


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