22 lines
535 B
C
22 lines
535 B
C
#ifndef STATES
|
|
#define STATES
|
|
/**
|
|
* Header file for the states counter datatype.
|
|
*
|
|
* Previously, the states number was just a unsigned int, but that
|
|
* turned out to be insufficient.
|
|
*/
|
|
|
|
#include <stdio.h>
|
|
|
|
typedef unsigned long int states_t;
|
|
#define STATES0 0
|
|
|
|
__inline__ states_t statesIncrease (const states_t states);
|
|
__inline__ double statesDouble (const states_t states);
|
|
__inline__ int statesSmallerThan (const states_t states,
|
|
unsigned long int reflint);
|
|
__inline__ void statesFormat (const states_t states);
|
|
|
|
#endif
|