My Project  debian-1:4.1.1-p2+ds-4build2
Macros | 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.

Macros

#define LIKELY(expression)   (expression)
 For optimizing if-branches. More...
 
#define UNLIKELY(expression)   (expression)
 

Functions

void getmpi (InternalCF *value, mpz_t mpi)
 

Macro Definition Documentation

◆ LIKELY

#define LIKELY (   expression)    (expression)

For optimizing if-branches.

Definition at line 23 of file cf_factory.cc.

◆ UNLIKELY

#define UNLIKELY (   expression)    (expression)

Definition at line 24 of file cf_factory.cc.

Function Documentation

◆ getmpi()

void getmpi ( InternalCF value,
mpz_t  mpi 
)

Definition at line 257 of file cf_factory.cc.

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