← Back to branch summary

~ubuntu-branches/ubuntu/saucy/ladr/saucy

« back to all changes in this revision

Viewing changes to ladr/ioutil.h.bak

  • Committer: Package Import Robot
  • Author(s): Frank Lichtenheld
  • Date: 2013-05-25 11:43:32 UTC
  • mfrom: (5.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20130525114332-lkzco1dti2hwrf7v
Tags: 0.0.200911a-2
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ladr/ioutil.h.bak
1
 
/*  Copyright (C) 2006, 2007 William McCune
2
 
 
3
 
    This file is part of the LADR Deduction Library.
4
 
 
5
 
    The LADR Deduction Library is free software; you can redistribute it
6
 
    and/or modify it under the terms of the GNU General Public License,
7
 
    version 2.
8
 
 
9
 
    The LADR Deduction Library is distributed in the hope that it will be
10
 
    useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
11
 
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12
 
    GNU General Public License for more details.
13
 
 
14
 
    You should have received a copy of the GNU General Public License
15
 
    along with the LADR Deduction Library; if not, write to the Free Software
16
 
    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
17
 
*/
18
 
 
19
 
#ifndef TP_IOUTIL_H
20
 
#define TP_IOUTIL_H
21
 
 
22
 
#include "parse.h"
23
 
#include "fastparse.h"
24
 
#include "ivy.h"
25
 
#include "clausify.h"
26
 
 
27
 
/* INTRODUCTION
28
 
*/
29
 
 
30
 
/* Public definitions */
31
 
 
32
 
enum { CL_FORM_STD,
33
 
       CL_FORM_BARE,
34
 
       CL_FORM_PARENTS,
35
 
       CL_FORM_XML,
36
 
       CL_FORM_TAGGED,
37
 
       CL_FORM_IVY};  /* clause print format */
38
 
 
39
 
/* End of public definitions */
40
 
 
41
 
/* Public function prototypes from ioutil.c */
42
 
 
43
 
void fwrite_formula(FILE *fp, Formula f);
44
 
 
45
 
Topform read_clause(FILE *fin, FILE *fout);
46
 
 
47
 
Topform parse_clause_from_string(char *s);
48
 
 
49
 
BOOL end_of_list_clause(Topform c);
50
 
 
51
 
Clist read_clause_clist(FILE *fin, FILE *fout, char *name, BOOL assign_id);
52
 
 
53
 
Plist read_clause_list(FILE *fin, FILE *fout, BOOL assign_id);
54
 
 
55
 
void sb_write_clause_jmap(String_buf sb, Topform c,
56
 
                          int format,
57
 
                          I3list map);
58
 
 
59
 
void sb_write_clause(String_buf sb, Topform c, int format);
60
 
 
61
 
void sb_xml_write_clause_jmap(String_buf sb, Topform c, I3list map);
62
 
 
63
 
void sb_tagged_write_clause_jmap(String_buf sb, Topform c, I3list map);
64
 
 
65
 
void fwrite_clause_jmap(FILE *fp, Topform c, int format, I3list map);
66
 
                        
67
 
 
68
 
void fwrite_clause(FILE *fp, Topform c, int format);
69
 
 
70
 
void f_clause(Topform c);
71
 
 
72
 
void fwrite_clause_clist(FILE *fp, Clist lst, int format);
73
 
 
74
 
void fwrite_demod_clist(FILE *fp, Clist lst, int format);
75
 
 
76
 
void fwrite_clause_list(FILE *fp, Plist lst, char *name, int format);
77
 
 
78
 
void f_clauses(Plist p);
79
 
 
80
 
Formula read_formula(FILE *fin, FILE *fout);
81
 
 
82
 
BOOL end_of_list_formula(Formula f);
83
 
 
84
 
Plist read_formula_list(FILE *fin, FILE *fout);
85
 
 
86
 
void fwrite_formula_list(FILE *fp, Plist lst, char *name);
87
 
 
88
 
void zap_formula_list(Plist lst);
89
 
 
90
 
BOOL end_of_list_term(Term t);
91
 
 
92
 
BOOL end_of_commands_term(Term t);
93
 
 
94
 
Plist read_term_list(FILE *fin, FILE *fout);
95
 
 
96
 
void fwrite_term_list(FILE *fp, Plist lst, char *name);
97
 
 
98
 
Term term_reader(BOOL fast);
99
 
 
100
 
void term_writer(Term t, BOOL fast);
101
 
 
102
 
Topform clause_reader(BOOL fast);
103
 
 
104
 
void clause_writer(Topform c, BOOL fast);
105
 
 
106
 
Topform term_to_topform2(Term t);
107
 
 
108
 
Topform read_clause_or_formula(FILE *fin, FILE *fout);
109
 
 
110
 
Plist read_clause_or_formula_list(FILE *fin, FILE *fout);
111
 
 
112
 
#endif  /* conditional compilation of whole file */