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
68
69
70
71
72
73
74
75
76
|
/*-----------------------------------------------------------------------
File : pcl_ministeps.h
Author: Stephan Schulz
Contents
Maximally compact PCL steps, only for special purpose applications.
Copyright 2002 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 Jul 10 20:44:47 MEST 2002
New
-----------------------------------------------------------------------*/
#ifndef PCL_MINISTEPS
#define PCL_MINISTEPS
#include <pcl_miniclauses.h>
#include <pcl_expressions.h>
#include <pcl_steps.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
typedef struct pclministepcell
{
TB_p bank;
long id;
union
{
MiniClause_p clause;
TFormula_p formula;
}logic;
PCLStepProperties properties;
PCLExpr_p just;
char* extra;
}PCLMiniStepCell, *PCLMiniStep_p;
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
#define PCLMiniStepCellAlloc() (PCLMiniStepCell*)SizeMalloc(sizeof(PCLMiniStepCell))
#define PCLMiniStepCellFree(junk) SizeFree(junk, sizeof(PCLMiniStepCell))
void PCLMiniStepFree(PCLMiniStep_p junk);
PCLMiniStep_p PCLMiniStepParse(Scanner_p in, TB_p bank);
void PCLMiniStepPrint(FILE* out, PCLMiniStep_p step, TB_p bank);
void PCLMiniStepPrintFormat(FILE* out, PCLMiniStep_p step,
TB_p bank, OutputFormatType format);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
