![]() |
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.