1/*-----------------------------------------------------------------------
2
3  File  :
4
5  Author: Stephan Schulz (schulz@eprover.org)
6
7  Contents
8
9
10  Copyright 2017 by the authors.
11  This code is released under the GNU General Public Licence.
12  See the file COPYING in the main CLIB directory for details.
13  Run "eprover -h" for contact information.
14
15  Created:
16
17-----------------------------------------------------------------------*/
18
19#ifndef
20
21#define
22
23
24
25/*---------------------------------------------------------------------*/
26/*                    Data type declarations                           */
27/*---------------------------------------------------------------------*/
28
29
30
31
32/*---------------------------------------------------------------------*/
33/*                Exported Functions and Variables                     */
34/*---------------------------------------------------------------------*/
35
36#define XXXCellAlloc()    (XXXCell*)SizeMalloc(sizeof(XXXCell))
37#define XXXCellFree(junk) SizeFree(junk, sizeof(XXXCell))
38
39XXX_p  XXXAlloc();
40void   XXXFree(XXX_p junk);
41
42
43
44#endif
45
46/*---------------------------------------------------------------------*/
47/*                        End of File                                  */
48/*---------------------------------------------------------------------*/
49