version 1.3, 2000/01/18 06:17:12 |
version 1.8, 2022/09/08 10:49:30 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/plugin/cmotag.h,v 1.2 2000/01/16 07:55:46 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/plugin/cmotag.h,v 1.7 2021/03/12 06:45:55 takayama Exp $ */ |
/* cmotag.h */ |
/* cmotag.h */ |
/* Never Use 0 as a CMO tag. */ |
/* Never Use 0 as a CMO tag. */ |
#define LARGEID 0x7f000000 |
/* If you add new CMO_*, |
#define CMO_PRIVATE 0x7fff0000 |
you need to make changes following the comment of cmo.c |
|
and modify the two files: |
|
OpenXM/doc/OpenXM-web/cmotag.h |
|
OpenXM/doc/OpenXM-specs/?*.tex |
|
|
|
Do not forget to execute |
|
make gen-cmotag.htmp |
|
to update cmotag.htmp |
|
*/ |
|
#include <string.h> |
|
|
|
#define LARGEID 0x7f000000 /* 2130706432 */ |
|
#define CMO_PRIVATE 0x7fff0000 /* 2147418112 */ |
#define CMO_ERROR (LARGEID+1) |
#define CMO_ERROR (LARGEID+1) |
#define CMO_ERROR2 (LARGEID+2) |
#define CMO_ERROR2 (LARGEID+2) |
#define CMO_NULL 1 |
#define CMO_NULL 1 |
|
|
|
|
#define CMO_ARRAY 16 |
#define CMO_ARRAY 16 |
#define CMO_LIST 17 |
#define CMO_LIST 17 |
/* #define CMO_ATOM 18 */ |
#define CMO_ATOM 18 |
#define CMO_MONOMIAL32 19 |
#define CMO_MONOMIAL32 19 |
/* #define CMO_ZZ_OLD 20 */ |
/* #define CMO_ZZ_OLD 20 */ |
#define CMO_ZZ_OLD -20 |
#define CMO_ZZ_OLD -20 |