1 |
/* |
2 |
* External Relations Cache for solvers. |
3 |
* by Kirk A. Abbott |
4 |
* Created: 8/10/94 |
5 |
* Version: $Revision: 1.9 $ |
6 |
* Version control file: $RCSfile: extrel.h,v $ |
7 |
* Date last modified: $Date: 1997/07/18 12:14:16 $ |
8 |
* Last modified by: $Author: mthomas $ |
9 |
* |
10 |
* This file is part of the SLV solver. |
11 |
* |
12 |
* Copyright (C) 1994 Kirk Abbott |
13 |
* |
14 |
* The SLV solver is free software; you can redistribute |
15 |
* it and/or modify it under the terms of the GNU General Public License as |
16 |
* published by the Free Software Foundation; either version 2 of the |
17 |
* License, or (at your option) any later version. |
18 |
* |
19 |
* The SLV solver is distributed in hope that it will be |
20 |
* useful, but WITHOUT ANY WARRANTY; without even the implied warranty of |
21 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
22 |
* General Public License for more details. |
23 |
* |
24 |
* You should have received a copy of the GNU General Public License along with |
25 |
* the program; if not, write to the Free Software Foundation, Inc., 675 |
26 |
* Mass Ave, Cambridge, MA 02139 USA. Check the file named COPYING. |
27 |
* COPYING is found in ../compiler. |
28 |
*/ |
29 |
#ifndef __EXTREL_H_SEEN__ |
30 |
#define __EXTREL_H_SEEN__ |
31 |
/* requires #include "var.h" */ |
32 |
/* requires #include "rel.h" */ |
33 |
/* requires #include "relation.h" */ |
34 |
/* requires #include "instance_enum.h" */ |
35 |
#if 0 /* going away */ |
36 |
extern double g_external_tolerance; |
37 |
|
38 |
extern struct ExtRelCache *CreateExtRelCache(struct ExtCallNode *); |
39 |
struct ExtRelCache *CreateCacheFromInstance(struct Instance *); |
40 |
extern void ExtRel_DestroyCache(struct ExtRelCache *); |
41 |
|
42 |
extern int ExtRel_PreSolve(struct ExtRelCache *cache, int setup); |
43 |
extern real64 ExtRel_Evaluate_RHS(struct rel_relation *); |
44 |
extern real64 ExtRel_Evaluate_LHS(struct rel_relation *); |
45 |
extern real64 ExtRel_Diffs_RHS(struct rel_relation *, var_filter_t *, |
46 |
int32, mtx_matrix_t); |
47 |
extern real64 ExtRel_Diffs_LHS(struct rel_relation *, var_filter_t *, |
48 |
int32, mtx_matrix_t); |
49 |
|
50 |
#endif |
51 |
#endif /* __EXTREL_H_SEEN__ */ |
52 |
|