1 /*-----------------------------------------------------------------------
2 
3 File  : can_infstate.h
4 
5 Author: Stephan Schulz
6 
7 Contents
8 
9   Data structures for representing the state of an inference process.
10 
11   Copyright 1998, 1999 by the author.
12   This code is released under the GNU General Public Licence and
13   the GNU Lesser General Public License.
14   See the file COPYING in the main E directory for details..
15   Run "eprover -h" for contact information.
16 
17 Changes
18 
19 <1> Fri Feb 26 23:25:00 MET 1999
20     New
21 
22 -----------------------------------------------------------------------*/
23 
24 #ifndef CAN_INFSTATE
25 
26 #define CAN_INFSTATE
27 
28 #include <ccl_inferencedoc.h>
29 #include <ccl_clausesets.h>
30 #include <can_clausestore.h>
31 
32 /*---------------------------------------------------------------------*/
33 /*                    Data type declarations                           */
34 /*---------------------------------------------------------------------*/
35 
36 
37 
38 
39 
40 
41 /*---------------------------------------------------------------------*/
42 /*                Exported Functions and Variables                     */
43 /*---------------------------------------------------------------------*/
44 
45 
46 #endif
47 
48 /*---------------------------------------------------------------------*/
49 /*                        End of File                                  */
50 /*---------------------------------------------------------------------*/
51 
52 
53 
54 
55 
56