2c2
<   FILE:  BddSdErrmsg.h
---
>   FILE:  BddHiscErrmsg.h
4c4,5
<   AUTH:  Raoguang Song, Yu Wang
---
>   AUTH:  Raoguang Song
>   Supervisor: Dr. Ryan Leduc
7,8c8,9
< #ifndef ____BDDSDERRMSG_H____
< #define ____BDDSDERRMSG_H____
---
> #ifndef ____BddHiscERRMSG_H____
> #define ____BddHiscERRMSG_H____
10,14d10
< namespace BDDSD
< {
< 
< #define HISC_BAD_PRJ_FILE -1
< #define HISC_BAD_PRJ_FORMAT -2
16,17c12,15
< #define HISC_BAD_HIGH_FILE -3
< #define HISC_BAD_HIGH_FORMAT -4
---
> namespace BDDHISC
> {
>     #define HISC_BAD_PRJ_FILE -1
>     #define HISC_BAD_PRJ_FORMAT -2
19,20c17,18
< #define HISC_BAD_LOW_FILE -5
< #define HISC_BAD_LOW_FORMAT -6
---
>     #define HISC_BAD_HIGH_FILE -3
>     #define HISC_BAD_HIGH_FORMAT -4
22,69c20,21
< #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_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_BAD_LOW_FILE -5
>     #define HISC_BAD_LOW_FORMAT -6
71,72c23,55
< #define HISC_WARN_BLOCKEVENTS -10000
< #define HISC_INTERNAL_ERR_SUBEVENT -10001
---
>     #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
74c57,58
< } //end of namespace BDDSD
---
>     #define HISC_WARN_BLOCKEVENTS -10000
> } //end of namespace BDDHISC
76c60
< #endif //____BDDSDERRMSG_H____
---
> #endif //____BddHiscERRMSG_H____
