![]() |
Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's. More...
#include "cf_defs.h"#include "variable.h"#include <factory/cf_gmp.h>#include <factory/cf_assert.h>Go to the source code of this file.
Data Structures | |
| class | CFFactory |
Functions | |
| void | getmpi (InternalCF *value, mpz_t mpi) |
Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.
Definition in file cf_factory.h.
| void getmpi | ( | InternalCF * | value, |
| mpz_t | mpi | ||
| ) |
Definition at line 248 of file cf_factory.cc.