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	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 */