[splint.git] / src / Headers / randomNumbers.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
# ifndef RANDOMNUMBERS_H
# define RANDOMNUMBERS_H

/*@constant int NUM_RANDOM=256@*/
# define NUM_RANDOM 256

extern unsigned int g_randomNumbers[NUM_RANDOM];

# else
# error "Multiple include"
# endif
Commit	Line	Data
28bf4b0b	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
28bf4b0b	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	# ifndef RANDOMNUMBERS_H
	7	# define RANDOMNUMBERS_H
	8
86d93ed3	9	/@constant int NUM_RANDOM=256@/
28bf4b0b	10	# define NUM_RANDOM 256
	11
	12	extern unsigned int g_randomNumbers[NUM_RANDOM];
	13
	14	# else
	15	# error "Multiple include"
	16	# endif
	17
	18
	19
	20
	21
	22