|
SMTStabilizer API
Public API documentation for SMTStabilizer
|
#include <gmpxx.h>#include <cstdint>

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) |