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
7
as published by the Free Software Foundation; either version 2 of the
8
License, or (at your option) any later version.
10
The LADR Deduction Library is distributed in the hope that it will be
11
useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
12
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13
GNU General Public License for more details.
15
You should have received a copy of the GNU General Public License
16
along with the LADR Deduction Library; if not, write to the Free Software
17
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
28
/* Public definitions */
30
/* End of public definitions */
32
/* Public function prototypes from weight2.c */
34
double call_weight(char *func, Term t);
36
#endif /* conditional compilation of whole file */