src/mmx_gmp.cpp File Reference

#include <string.h>
#include <numerix/rational.hpp>
#include <basix/evaluator.hpp>
#include <basix/literal.hpp>

Go to the source code of this file.

Namespaces

• namespace mmx

Functions

• string as_string (const integer &i)
• generic construct (const integer &i)
• generic construct (const rational &x)
• integer syntactic flatten (const integer &i)
• syntactic flatten (const rational &x)
• void mpz_binary_write (const port &p, const mpz_t arg)
• void mpz_binary_read (const port &p, mpz_t dest)
• void numeric_to_string (const integer &x, string &s)
• bool string_to_numeric (const string &s, integer &val)
• bool is_literal_integer (const literal &l)
• integer as_literal_integer (const literal &l)