1
/* Copyright (C) 2006, 2007 William McCune
3
This file is part of the LADR Deduction Library.
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,
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.
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.
19
#ifndef TP_CLAUSE_MISC_H
20
#define TP_CLAUSE_MISC_H
30
/* Public definitions */
32
/* End of public definitions */
34
/* Public function prototypes from clause_misc.c */
36
Clist clist_copy(Clist a, BOOL assign_ids);
38
Clist copy_clauses_to_clist(Plist clauses, char *name, BOOL assign_ids);
40
Clist move_clauses_to_clist(Plist clauses, char *name, BOOL assign_ids);
42
Plist input_clauses(Plist a);
44
void delete_clause(Topform c);
46
void delete_clist(Clist l);
48
Topform copy_clause_ija(Topform c);
50
Plist copy_clauses_ija(Plist p);
52
void delete_clauses(Plist p);
54
void make_clause_basic(Topform c);
56
#endif /* conditional compilation of whole file */