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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 13 - (hide annotations) (download) (as text)
Thu Nov 18 06:02:19 2004 UTC (19 years, 7 months 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 ben.allan 13 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