Functions
cf_factory.cc File Reference
#include "config.h"
#include "cf_assert.h"
#include "cf_defs.h"
#include "cf_factory.h"
#include "canonicalform.h"
#include "int_cf.h"
#include "int_int.h"
#include "int_rat.h"
#include "int_poly.h"
#include "imm.h"

Go to the source code of this file.

Functions

void getmpi (InternalCF *value, mpz_t mpi)
 

Function Documentation

void getmpi ( InternalCF value,
mpz_t  mpi 
)

Definition at line 255 of file cf_factory.cc.

256 {
257  ASSERT( ! is_imm( value ) && (value->levelcoeff() == IntegerDomain ), "illegal operation" );
258  mpz_init_set (mpi, ((InternalInteger*)value)->thempi);
259 }
#define IntegerDomain
Definition: cf_defs.h:25
virtual int levelcoeff() const
Definition: int_cf.h:64
int is_imm(const InternalCF *const ptr)
Definition: canonicalform.h:60
#define ASSERT(expression, message)
Definition: cf_assert.h:99
factory's class for integers
Definition: int_int.h:44