Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/guava/src/ctjhai/   (GAP Algebra Version 4.15.1©)  Datei vom 1.1.2025 mit Größe 1 kB image not shown  

Quelle  config.h   Sprache: C

 

/*
 * config.h
 *
 * This file contains various configuration needed for compilation
 * 
 * The minimum Hamming weight computation uses different types of
 * population count (bit count) methods, see popcount.h/c:
 *   POPCOUNT_STD
 *   POPCOUNT_LUT8
 *   POPCOUNT_LUT16
 * 
 * Version Log:
 *   0.1  18 March 2008 (first released to public -- GUAVA 3.3)   
 *  
 * CJ, Tjhai 
 * email: ctjhai@plymouth.ac.uk
 * Homepage: www.plymouth.ac.uk/staff/ctjhai
 *
 */


#ifndef _CONFIG_H
#define _CONFIG_H

#include <limits.h>

#undef BITS_PER_LONG
#if ULONG_MAX == 0xffffffffUL
# define BITS_PER_LONG 32
#elif ULONG_MAX == 0xffffffffffffffffUL
# define BITS_PER_LONG 64
#else
# error Unknown architecture, report to ctjhai@plymouth.ac.uk
#endif

#if BITS_PER_LONG == 64  /* 64-bit */
# define ZERO   0x0UL
# define ONE   0x1UL
# define MOD   0x3F
# define LOG2   6
#else      /* 32-bit */
# define ZERO   0x0UL
# define ONE   0x1UL
# define MOD   0x1F
# define LOG2   5
#endif /* BITS_PER_LONG */
#define BITSIZE   BITS_PER_LONG

#define POPCOUNT_LUT16 1

#endif

Messung
CHZG
899210093

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.