/[ascend]/trunk/models/z-anonrel.a4c
ViewVC logotype

Contents of /trunk/models/z-anonrel.a4c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 13 - (show annotations) (download) (as text)
Thu Nov 18 06:02:19 2004 UTC (15 years ago) by ben.allan
File MIME type: text/x-ascend
File size: 1822 byte(s)
test of a fix in a loop exit condition in anontype.c
that cause distinct types to be labeled as equal.
1 REQUIRE "system.a4l";
2 (* => system.a4l, basemodel.a4l *)
3 PROVIDE "z-anonrel.a4c";
4 (*
5 * This file is part of the ASCEND Modeling Library and is released
6 * under the GNU Public License as described at the end of this file.
7 *
8 * Use of this module requires an empty ascend system.
9 *)
10
11 MODEL Q;
12 y, dx IS_A generic_real;
13 END Q;
14
15 MODEL R REFINES Q;
16 a, b IS_A symbol_constant;
17 END R;
18
19 MODEL P;
20 q IS_A Q;
21 q.y=q.dx;
22 END P;
23
24 MODEL Mnoarray;
25 p1,p2 IS_A P;
26 p2.q IS_REFINED_TO R;
27 (* during pass2 relation sharing,
28 p1,p2 are not isomorphs. somehow we think they are.
29 *)
30 END Mnoarray;
31
32 MODEL M;
33 p[1,2] IS_A P;
34 p[2].q IS_REFINED_TO R;
35 (* during pass2 relation sharing,
36 p1,p2 are not isomorphs. somehow we think they are.
37 *)
38 END M;
39
40 (*
41 * z-anonrel.a4c
42 * by Benjamin Allan
43 * Part of the ASCEND Library
44 * $Date: 1998/06/17 19:39:39 $
45 * $Revision: 1.3 $
46 * $Author: mthomas $
47 * $Source: /afs/cs.cmu.edu/project/ascend/Repository/models/z-relname.a4c,v $
48 *
49 * This file is part of the ASCEND Modeling Library.
50 *
51 * Copyright (C) 1997 Benjamin Allan
52 *
53 * The ASCEND Modeling Library is free software; you can redistribute
54 * it and/or modify it under the terms of the GNU General Public
55 * License as published by the Free Software Foundation; either
56 * version 2 of the License, or (at your option) any later version.
57 *
58 * The ASCEND Modeling Library is distributed in hope that it will be
59 * useful, but WITHOUT ANY WARRANTY; without even the implied
60 * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
61 * See the GNU General Public License for more details.
62 *
63 * You should have received a copy of the GNU General Public License
64 * along with the program; if not, write to the Free Software
65 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check
66 * the file named COPYING.
67 *)

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