ascend4/solver/slv9a.h

/*
 *  Logical Relation Solver
 *  by Vicente Rico-Ramirez
 *  Created: 04/97
 *  Version: $Revision: 1.4 $
 *  Version control file: $RCSfile: slv9a.h,v $
 *  Date last modified: $Date: 1997/07/29 15:48:18 $
 *  Last modified by: $Author: rv2a $
 *
 *  This file is part of the SLV solver.
 *
 *  The SLV solver is free software; you can redistribute
 *  it and/or modify it under the terms of the GNU General Public License as
 *  published by the Free Software Foundation; either version 2 of the
 *  License, or (at your option) any later version.
 *
 *  The SLV solver is distributed in hope that it will be
 *  useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with the program; if not, write to the Free Software Foundation,
 *  Inc., 675 Mass Ave, Cambridge, MA 02139 USA.  Check the file named
 *  COPYING.  COPYING is found in ../compiler.
 *
 */

#ifndef slv9a__already_included
#define slv9a__already_included
/* 
 * requires #include "slv_client.h" 
 */

typedef struct slv9a_system_structure *slv9a_system_t;

int slv9a_register(SlvFunctionsT *);
/*
 * This is the function that tells the system about the LRSlv solver.
 * Our index is not necessarily going to be 9a. That everything here is
 * named slv9a* is just a historical result and a convenient way of
 * shutting up the linker.
*/

#endif /* slv9a__already_included */
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 */