cf_factory.h File Reference

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 "cf_assert.h"

Go to the source code of this file.

Data Structures
class	CFFactory

Functions
void	getmpi (InternalCF *value, mpz_t mpi)

Detailed Description

Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.

Definition in file cf_factory.h.

Function Documentation

getmpi()

void getmpi	(	InternalCF *	value,
		mpz_t	mpi
	)

Definition at line 137 of file cf_factory.cc.

{
    ASSERT( ! is_imm( value ) && (value->levelcoeff() == IntegerDomain || value->levelcoeff() == PrimePowerDomain), "illegal operation" );
    mpz_init_set (mpi, ((InternalInteger*)value)->thempi);
}