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
|
/*-----------------------------------------------------------------------
File : cio_initio.h
Author: Stephan Schulz (schulz@eprover.org)
Contents
Rather trivial code for initializing all I/O related stuff once and
in one go.
Copyright 2005 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> Thu Mar 17 11:20:32 UYT 2005
New
-----------------------------------------------------------------------*/
#ifndef CIO_INITIO
#define CIO_INITIO
#include <cio_output.h>
/*---------------------------------------------------------------------*/
/* Data type declarations */
/*---------------------------------------------------------------------*/
/*---------------------------------------------------------------------*/
/* Exported Functions and Variables */
/*---------------------------------------------------------------------*/
extern char* TPTP_dir;
void InitIO(char* progname);
void ExitIO(void);
#endif
/*---------------------------------------------------------------------*/
/* End of File */
/*---------------------------------------------------------------------*/
|
