models/johnpye/testcmslv2.a4c

REQUIRE "atoms.a4l";

(*
	Model an even simpler CMSlv model

              ^
            1 +      .
	          |    .'
              |  .'
              |.'
	 <-+------*------+->
	  -1  .-'`|      1 
	  ,-'`    + -1/2
              |  
*)
MODEL testcmslv2;
	x IS_A factor;
	y IS_A factor;

	rhs: y = x;
	lhs: y = -0.5*x;

	CONDITIONAL
		ispos: x > 0;
	END CONDITIONAL;

	isposp IS_A boolean_var;
	isposp == SATISFIED(ispos);
	
	WHEN (isposp)
		CASE TRUE:
			USE rhs;
		CASE FALSE:
			USE lhs;
	END WHEN;

METHODS
METHOD default_self;
	ispos := TRUE;
	y := 0.0;
	x := 0.0;
END default_self;

METHOD values;
	x := 3;
END values;

METHOD specify;
	FIX x;
END specify;

METHOD on_load;
	RUN default_self; RUN values; RUN specify;
END on_load;

END testcmslv2;
1	REQUIRE "atoms.a4l";
2
3	(*
4	Model an even simpler CMSlv model
5
6	^
7	1 + .
8	\| .'
9	\| .'
10	\|.'
11	<-+------*------+->
12	-1 .-'`\| 1
13	,-'` + -1/2
14	\|
15	*)
16	MODEL testcmslv2;
17	x IS_A factor;
18	y IS_A factor;
19
20	rhs: y = x;
21	lhs: y = -0.5*x;
22
23	CONDITIONAL
24	ispos: x > 0;
25	END CONDITIONAL;
26
27	isposp IS_A boolean_var;
28	isposp == SATISFIED(ispos);
29
30	WHEN (isposp)
31	CASE TRUE:
32	USE rhs;
33	CASE FALSE:
34	USE lhs;
35	END WHEN;
36
37	METHODS
38	METHOD default_self;
39	ispos := TRUE;
40	y := 0.0;
41	x := 0.0;
42	END default_self;
43
44	METHOD values;
45	x := 3;
46	END values;
47
48	METHOD specify;
49	FIX x;
50	END specify;
51
52	METHOD on_load;
53	RUN default_self; RUN values; RUN specify;
54	END on_load;
55
56	END testcmslv2;