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
|
/*-----------------------------------------------------------------------
File : cpr_varset.h
Author: Stephan Schulz
Contents
Data type for (multi-)sets of propositional variables, currently
organized as doubly linked lists.
Copyright 2003 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> Tue May 13 21:37:34 CEST 2003
New
-----------------------------------------------------------------------*/
#ifndef CPR_VARSET
#define CPR_VARSET
#include <cpr_propsig.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
typedef struct atomset_cell
{
PLiteralCode atom;
struct atomset_cell *prev;
struct atomset_cell *succ;
}AtomSetCell, *AtomSet_p;
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
#define AtomSetCellAlloc() (AtomSetCell*)SizeMalloc(sizeof(AtomSetCell))
#define AtomSetCellFree(junk) SizeFree(junk, sizeof(AtomSetCell))
AtomSet_p AtomSetAlloc(void);
void AtomSetFree(AtomSet_p set);
#define AtomSetEmpty(set) ((set)->prev == (set))
PLiteralCode AtomSetExtract(AtomSet_p var);
void AtomSetInsert(AtomSet_p set, PLiteralCode atom);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
