source: icGREP/icgrep-devel/cudd-2.5.1/mnemosyne/mnemconf.h @ 6055

Last change on this file since 6055 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 2.9 KB
Line 
1/************************************************************************
2 *                                                                      *
3 *                      Copyright (c) 1985 by                           *
4 *              Digital Equipment Corporation, Maynard, MA              *
5 *                      All rights reserved.                            *
6 *                                                                      *
7 *   The information in this software is subject to change  without     *
8 *   notice  and should not be construed as a commitment by Digital     *
9 *   Equipment Corporation.                                             *
10 *                                                                      *
11 *   Digital assumes no responsibility for the use  or  reliability     *
12 *   of its software on equipment which is not supplied by Digital.     *
13 *                                                                      *
14 *   Redistribution and use in source and binary forms are permitted    *
15 *   provided that the above copyright notice and this paragraph are    *
16 *   duplicated in all such forms and that any documentation,           *
17 *   advertising materials, and other materials related to such         *
18 *   distribution and use acknowledge that the software was developed   *
19 *   by Digital Equipment Corporation. The name of Digital Equipment    *
20 *   Corporation may not be used to endorse or promote products derived *
21 *   from this software without specific prior written permission.      *
22 *   THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR     *
23 *   IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED     *
24 *   WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.*
25 *   Do not take internally. In case of accidental ingestion, contact   *
26 *   your physician immediately.                                        *
27 *                                                                      *
28 ************************************************************************/
29
30#ifndef _INCL_MNEMCONF_H
31
32/*
33/fats/tools/hsv/mnemosyne/mnemconf.h,v 1.1.1.1 1995/06/06 18:18:29 fabio Exp
34*/
35
36/*
37site specific and shared internal data structures used by mnemosyne.
38the only data structure that may need to be shared is the struct ptr,
39which is defined herein.
40
41        Marcus J. Ranum, 1990. (mjr@decuac.dec.com)
42*/
43
44
45
46/* if your machine has malloc and all declared as a (void *) not a (char *) */
47#ifdef  MALLOC_IS_VOIDSTAR
48typedef void    *mall_t;
49#else
50typedef char    *mall_t;
51#endif
52
53
54/* size of internal hash tables - don't go wild - this is slow anyhow */
55#define HASHSIZ         2027
56
57
58/* names of files to write */
59#define LINESFILE       "mnem.syms"
60#define PTRFILE         "mnem.dat"
61
62
63extern  mall_t  malloc();
64extern  mall_t  realloc();
65extern  mall_t  calloc();
66extern  void    free();
67
68
69/*
70storage for a pointer map entry - the only data structure we share
71a whole mess of these get written to mnem.dat as calls to malloc and
72whatnot are made. the distinction between an *allocated* pointer and
73and unallocated one is that 'siz' is 0 in freed ptrs. this is used
74by the post-processor to look for memory leaks.
75*/
76struct  ptr     {
77        mall_t          ptr;    /* pointer to allocated memory */
78        int             map;    /* this pointer's map # */
79        struct  ptr     *next;
80
81        /* only part that gets written to the disk */
82        struct  {
83                unsigned        siz;    /* size allocated (or 0) */
84                int             smap;   /* symbol map # */
85        } dsk;
86};
87
88#define _INCL_MNEMCONF_H
89#endif
Note: See TracBrowser for help on using the repository browser.