![]() |
My Project
debian-1:4.1.2-p1+ds-2
|
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 260 of file cf_factory.cc.