Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015 #include "lib/memory.h"
00016
00017 #ifndef __COMMON_H__
00018 #define __COMMON_H__
00019
00020 #include <stdlib.h>
00021 #include <stdio.h>
00022 #include "lib/config.h"
00023
00024 #ifndef LINUX
00025 #define RANDOM_MAX 2147483647
00026 #else
00027 #define RANDOM_MAX RAND_MAX
00028 #endif
00029
00034
00035 #include <stdint.h>
00036
00037
00038
00039
00040
00041
00042
00043 #define __STDC_FORMAT_MACROS 1
00044 #include <inttypes.h>
00045
00050 typedef float float32_t;
00051 typedef double float64_t;
00052 typedef long double floatmax_t;
00053
00055
00056 #define STRING_LEN 256
00057 #define STRING_LEN_STR "256"
00058 typedef char string_t[STRING_LEN];
00059
00060 typedef int machine_int_t;
00061
00062 #endif //__COMMON_H__