#ifndef PLATFORMTYPES_H

#define PLATFORMTYPES_H

#ifdef HAVE_STDINT_H

#include <stdint.h>

#else

// TODO: We should have a proper type definition file created common for standalone model libraries

typedef signed __int8         int8_t;

typedef signed __int16        int16_t;

typedef signed __int32        int32_t;

typedef signed __int64        int64_t;

typedef unsigned __int8     uint8_t;

typedef unsigned __int8     u_int8_t;

typedef unsigned __int16    uint16_t;

typedef unsigned __int16    u_int16_t;

typedef unsigned __int32    uint32_t;

typedef unsigned __int32    u_int32_t;

typedef unsigned __int64    uint64_t;

typedef unsigned __int64    u_int64_t;

typedef unsigned char byte_t;

#endif

#endif // PLATFORMTYPES_H