trunk/models/z-anonrel.a4c

REQUIRE "system.a4l";
(* => system.a4l, basemodel.a4l *)
PROVIDE "z-anonrel.a4c";
(*
 * This file is part of the ASCEND Modeling Library and is released
 * under the GNU Public License as described at the end of this file.
 *
 * Use of this module requires an empty ascend system.
 *)

MODEL Q;
y, dx IS_A generic_real;
END Q;

MODEL R REFINES Q;
a, b IS_A symbol_constant;
END R;

MODEL P;
q IS_A Q;
q.y=q.dx;
END P;

MODEL Mnoarray;
p1,p2 IS_A P;
p2.q IS_REFINED_TO R;
(* during pass2 relation sharing,
p1,p2 are not isomorphs. somehow we think they are.
*)
END Mnoarray;

MODEL M;
p[1,2] IS_A P;
p[2].q IS_REFINED_TO R;
(* during pass2 relation sharing,
p1,p2 are not isomorphs. somehow we think they are.
*)
END M;

(*
 *  z-anonrel.a4c
 *  by Benjamin Allan
 *  Part of the ASCEND Library
 *  $Date: 1998/06/17 19:39:39 $
 *  $Revision: 1.3 $
 *  $Author: mthomas $
 *  $Source: /afs/cs.cmu.edu/project/ascend/Repository/models/z-relname.a4c,v $
 *
 *  This file is part of the ASCEND Modeling Library.
 *
 *  Copyright (C) 1997 Benjamin Allan
 *
 *  The ASCEND Modeling Library 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 ASCEND Modeling Library 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.
 *)
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			*)