/[ascend]/trunk/base/generic/solver/extrel.h
ViewVC logotype

Contents of /trunk/base/generic/solver/extrel.h

Parent Directory Parent Directory | Revision Log Revision Log


Revision 301 - (show annotations) (download) (as text)
Mon Feb 20 07:39:14 2006 UTC (18 years, 4 months ago) by johnpye
File MIME type: text/x-chdr
File size: 1544 byte(s)
Documentation and indentation changes
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
30 /** @file
31 * External Relations Cache for solvers.
32 * <pre>
33 * Requires: #include "utilities/ascConfig.h"
34 * #include "var.h"
35 * #include "rel.h"
36 * #include "relation.h"
37 * #include "instance_enum.h"
38 * </pre>
39 * @todo This header is marked for removal.
40 */
41
42 /* the function definitions here were moved to rel.h not by me, by someone else -- JP */
43

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