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	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	*)