| 1 |
jds |
54 |
/* |
| 2 |
|
|
* Conditional Modeling Solver |
| 3 |
aw0a |
1 |
* by Vicente Rico-Ramirez |
| 4 |
|
|
* Created: 04/97 |
| 5 |
|
|
* Version: $Revision: 1.4 $ |
| 6 |
|
|
* Version control file: $RCSfile: slv9.h,v $ |
| 7 |
|
|
* Date last modified: $Date: 1997/07/29 15:48:07 $ |
| 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 |
jds |
54 |
*/ |
| 27 |
|
|
|
| 28 |
|
|
/** @file |
| 29 |
|
|
* Conditional Modeling Solver (CMSlv) registration module. |
| 30 |
|
|
* <pre> |
| 31 |
|
|
* Contents: CMSlv module (Conditional Modeling Solver) |
| 32 |
aw0a |
1 |
* |
| 33 |
jds |
54 |
* Requires: #include "utilities/ascConfig.h" |
| 34 |
|
|
* #include "slv_client.h" |
| 35 |
|
|
* </pre> |
| 36 |
aw0a |
1 |
*/ |
| 37 |
|
|
|
| 38 |
johnpye |
466 |
#ifndef ASC_SLV9_H |
| 39 |
|
|
#define ASC_SLV9_H |
| 40 |
aw0a |
1 |
|
| 41 |
|
|
typedef struct slv9_system_structure *slv9_system_t; |
| 42 |
|
|
|
| 43 |
jds |
59 |
int slv9_register(SlvFunctionsT *f); |
| 44 |
jds |
54 |
/**< |
| 45 |
jds |
59 |
* Registration function for the ASCEND CMSlv solver. |
| 46 |
jds |
54 |
* This is the function that tells the system about the CMSlv solver. |
| 47 |
|
|
* Our index is not necessarily going to be 9. That everything here is |
| 48 |
|
|
* named slv9* is just a historical result and a convenient way of |
| 49 |
|
|
* shutting up the linker. |
| 50 |
jds |
59 |
* |
| 51 |
|
|
* @param f SlvFunctionsT to receive the solver registration info. |
| 52 |
|
|
* @return Returns non-zero on error (e.g. f == NULL), zero if all is ok. |
| 53 |
aw0a |
1 |
*/ |
| 54 |
|
|
|
| 55 |
johnpye |
466 |
#endif /* ASC_SLV9_H */ |
| 56 |
aw0a |
1 |
|