dummy/solver/extrel.h

/*
 *  External Relations Cache for solvers.
 *  by Kirk A. Abbott
 *  Created: 8/10/94
 *  Version: $Revision: 1.9 $
 *  Version control file: $RCSfile: extrel.h,v $
 *  Date last modified: $Date: 1997/07/18 12:14:16 $
 *  Last modified by: $Author: mthomas $
 *
 *  This file is part of the SLV solver.
 *
 *  Copyright (C) 1994 Kirk Abbott
 *
 *  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.
 */

/** @file
 *  External Relations Cache for solvers.
 *  <pre>
 *  Requires:     #include "utilities/ascConfig.h"
 *                #include "var.h"
 *                #include "rel.h"
 *                #include "relation.h"
 *                #include "instance_enum.h"
 *  </pre>
 *  @todo This header is marked for removal.
 */

/* the function definitions here were moved to rel.h not by me, by someone else -- JP */

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