/*************************************************************************
  FILE:  BddHiscErrmsg.h
  DESCR: constants for error code
  AUTH:  Raoguang Song
  Supervisor: Dr. Ryan Leduc
  DATE:  (C) Jan, 2006
*************************************************************************/
#ifndef ____BddHiscERRMSG_H____
#define ____BddHiscERRMSG_H____


namespace BDDHISC
{
    #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_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_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_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
} //end of namespace BDDHISC

#endif //____BddHiscERRMSG_H____
