/*************************************************************** 
	The GPDD Sensitivity Project (GPDD_Sens) 
 
	GPDD stands for "Graph-Pair Decision Diagram" 
 
Contributors: 
 
   CHEN, Weiwei			(MS 2007 graduate) 
   MENG, Xiaoxuan		(MS 2009 graduate) 
   ZENG, Mei			(MS 2010 graduate) 
   LI, Ji				(MS 2010 graduate) 
   MA, Diming			(MS 2011 graduate) 
 
   SHI, Guoyong 		(Prof)  shiguoyong@ic.sjtu.edu.cn 
 
   School of Microelectronics 
   Shanghai Jiao Tong University 
   (c) 2005 - 2010 
******************************************************************/ 



#ifndef CLASS_ID_H
#define CLASS_ID_H

#define SUBGRAPH		501
#define GPDDCLASS		502
#define GPDDNODE		503
#define GPDDNODE_TAG	504
#define SYMBNODE		505
#define EDGEINFO		506
#define SCOEFFNODE      	507
#define SEXPGPDDNODE    508


#endif 

