SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
gmp_utils.h File Reference
#include <gmpxx.h>
#include <cstdint>
Include dependency graph for gmp_utils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  stabilizer
 
namespace  stabilizer::util
 

Functions

void stabilizer::util::mpz_set_ull (mpz_t rop, uint64_t op)
 
uint64_t stabilizer::util::mpz_get_ull (const mpz_t op)
 
void stabilizer::util::mpz_init_set_ull (mpz_t rop, uint64_t op)
 
mpz_class stabilizer::util::uint64_to_mpz_class (uint64_t op)
 
void stabilizer::util::mpz_init_set_sll (mpz_t rop, int64_t op)
 
size_t stabilizer::util::mpz_hash (const mpz_t op, uint64_t start)
 
void stabilizer::util::mpz_fdiv_q_2exp_ull (mpz_t q, const mpz_t n, uint64_t b)
 
void stabilizer::util::mpz_fdiv_r_2exp_ull (mpz_t r, const mpz_t n, uint64_t b)
 
void stabilizer::util::mpz_mul_2exp_ull (mpz_t rop, const mpz_t op1, uint64_t op2)