/*************************************************************************
  FILE:  BddSdErrmsg.h
  DESCR: constants for error code
  AUTH:  Raoguang Song, Yu Wang
  DATE:  (C) Jan, 2006
*************************************************************************/
#ifndef ____BDDSDERRMSG_H____
#define ____BDDSDERRMSG_H____

namespace BDDSD
{

#define HISC_BAD_PRJ_FILE -1
#define HISC_BAD_PRJ_FORMAT -2

#define HISC_BAD_HIGH_FILE -3
#define HISC_BAD_HIGH_FORMAT -4

#define HISC_BAD_LOW_FILE -5
#define HISC_BAD_LOW_FORMAT -6

#define HISC_BAD_DES_FILE -7
#define HISC_BAD_DES_FORMAT -8

#define HISC_SYSTEM_INITBDD -9
#define HISC_NONEXISTED_LEVEL_NAME -10

#define HISC_BAD_INTERFACE -11
#define HISC_TICK_NOT_FOUND -12

#define HISC_LOWERR_GENCONBAD -20
#define HISC_LOWERR_GENP4BAD -21
#define HISC_LOWERR_SUPCP -22
#define HISC_LOWERR_COREACH -23
#define HISC_LOWERR_REACH -24
#define HISC_LOWERR_P5 -25
#define HISC_LOWERR_P6 -26
#define HISC_LOWERR_GENBALEMIBAD -27
#define HISC_LOWERR_ALF -28
#define HISC_LOWERR_PTB -29
#define HISC_LOWERR_SD  -30
#define HISC_LOWERR_SDIV    -31

#define HISC_VERI_LOW_UNCON -201
#define HISC_VERI_LOW_BLOCKING -202
#define HISC_VERI_LOW_P4FAILED -203
#define HISC_VERI_LOW_P5FAILED -204
#define HISC_VERI_LOW_P6FAILED -205
#define HISC_VERI_LOW_CON -206
#define HISC_VERI_LOW_ALF -207
#define HISC_VERI_LOW_PTB -208
#define HISC_VERI_LOW_SD_II -209
#define HISC_VERI_LOW_SD_III_1 -210
#define HISC_VERI_LOW_SD_III_2 -211
#define HISC_VERI_LOW_SD_IV -212
#define HISC_VERI_LOW_ZERO_LB  -213
#define HISC_VERI_LOW_PCOMPLT  -214
#define HISC_VERI_LOW_TDESUNCON -215


#define HISC_HIGHERR_GENCONBAD -30
#define HISC_HIGHERR_GENP3BAD -31
#define HISC_HIGHERR_SUPCP -32
#define HISC_HIGHERR_COREACH -33
#define HISC_HIGHERR_REACH -34
#define HISC_VERI_HIGH_UNCON -101
#define HISC_VERI_HIGH_P3FAILED -102
#define HISC_VERI_HIGH_BLOCKING -103

#define HISC_BAD_SAVESUPER -97
#define HISC_BAD_PRINT_FILE -98
#define HISC_NOT_ENOUGH_MEMORY -99

#define HISC_WARN_BLOCKEVENTS -10000
#define HISC_INTERNAL_ERR_SUBEVENT -10001

} //end of namespace BDDSD

#endif //____BDDSDERRMSG_H____
