1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
/*-----------------------------------------------------------------------
File : pcl_idents.h
Author: Stephan Schulz
Contents
Identifiers for PCL2 - lists of posititive numbers.
Copyright 1998, 1999 by the author.
This code is released under the GNU General Public Licence and
the GNU Lesser General Public License.
See the file COPYING in the main E directory for details..
Run "eprover -h" for contact information.
Changes
<1> Wed Mar 22 19:32:20 MET 2000
New
-----------------------------------------------------------------------*/
#ifndef PCL_IDENTS
#define PCL_IDENTS
#include <clb_pdarrays.h>
#include <cio_scanner.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
/* PCL-Idents are represented as -1-Terminated PDArrays */
#define NO_PCL_ID_ELEMENT -1
typedef PDArrayCell PCLIdCell;
typedef PDArray_p PCLId_p;
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
#define PCLIdCellAlloc() (PclIdCell*)SizeMalloc(sizeof(PclIdCell))
#define PCLIdCellFree(junk) SizeFree(junk, sizeof(PclIdCell))
#define PCLIdAlloc() PDIntArrayAlloc(2, 2)
#define PCLIdFree(junk) PDArrayFree(junk)
PCLId_p PCLIdParse(Scanner_p in);
void PCLIdPrintFormatted(FILE* out, PCLId_p id, bool formatted);
#define PCLIdPrint(out, id) PCLIdPrintFormatted((out),(id),false)
void PCLIdPrintTSTP(FILE* out, PCLId_p id);
int PCLIdCompare(PCLId_p id1, PCLId_p id2);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
