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
inlinenodiscard

Definition at line 60 of file numeric.hpp.

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

◆ divmod_u32()

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

Definition at line 71 of file numeric.hpp.

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

◆ from_words()

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

Definition at line 30 of file numeric.hpp.

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

◆ high64()

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

Definition at line 108 of file numeric.hpp.

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

◆ low64()

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

Definition at line 100 of file numeric.hpp.

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

◆ mul_u64()

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

Definition at line 38 of file numeric.hpp.

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


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