source: git/factory/gmpext.h @ 362fc67

jengelh-datetimespielwiese
Last change on this file since 362fc67 was 362fc67, checked in by Martin Lee <martinlee84@…>, 11 years ago
chg: remove $Id$
  • Property mode set to 100644
File size: 366 bytes
Line 
1/* emacs edit mode for this file is -*- C++ -*- */
2
3#ifndef INCL_GMPEXT_H
4#define INCL_GMPEXT_H
5
6// #include "config.h"
7// #include <factory/cf_gmp.h>
8
9#include "cf_defs.h"
10#include "imm.h"
11
12
13inline bool
14mpz_is_imm( const mpz_t mpi )
15{
16    return ( mpz_cmp_si( mpi, MINIMMEDIATE ) >= 0 ) &&
17        ( mpz_cmp_si( mpi, MAXIMMEDIATE ) <= 0 );
18}
19
20#endif /* ! INCL_GMPEXT_H */
Note: See TracBrowser for help on using the repository browser.