/[ascend]/trunk/ascend4/solver/slv9a.h
ViewVC logotype

Annotation of /trunk/ascend4/solver/slv9a.h

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1 - (hide annotations) (download) (as text)
Fri Oct 29 20:54:12 2004 UTC (17 years, 8 months ago) by aw0a
File MIME type: text/x-chdr
File size: 1561 byte(s)
Setting up web subdirectory in repository
1 aw0a 1 /*
2     * Logical Relation Solver
3     * by Vicente Rico-Ramirez
4     * Created: 04/97
5     * Version: $Revision: 1.4 $
6     * Version control file: $RCSfile: slv9a.h,v $
7     * Date last modified: $Date: 1997/07/29 15:48:18 $
8     * Last modified by: $Author: rv2a $
9     *
10     * This file is part of the SLV solver.
11     *
12     * The SLV solver is free software; you can redistribute
13     * it and/or modify it under the terms of the GNU General Public License as
14     * published by the Free Software Foundation; either version 2 of the
15     * License, or (at your option) any later version.
16     *
17     * The SLV solver is distributed in hope that it will be
18     * useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
19     * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20     * General Public License for more details.
21     *
22     * You should have received a copy of the GNU General Public License
23     * along with the program; if not, write to the Free Software Foundation,
24     * Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check the file named
25     * COPYING. COPYING is found in ../compiler.
26     *
27     */
28    
29     #ifndef slv9a__already_included
30     #define slv9a__already_included
31     /*
32     * requires #include "slv_client.h"
33     */
34    
35     typedef struct slv9a_system_structure *slv9a_system_t;
36    
37     int slv9a_register(SlvFunctionsT *);
38     /*
39     * This is the function that tells the system about the LRSlv solver.
40     * Our index is not necessarily going to be 9a. That everything here is
41     * named slv9a* is just a historical result and a convenient way of
42     * shutting up the linker.
43     */
44    
45     #endif /* slv9a__already_included */

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22