models/johnpye/testcmslv2.a4c

REQUIRE "atoms.a4l";

(*
	Model an even simpler CMSlv model

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

	rhs: y = x;
	lhs: y = -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	`. \| .'
8	`. \| .'
9	`.\|.'
10	<-+------*------+->
11	-1 0 1
12	*)
13	MODEL testcmslv2;
14	x IS_A factor;
15	y IS_A factor;
16
17	rhs: y = x;
18	lhs: y = -x;
19
20	CONDITIONAL
21	ispos: x > 0;
22	END CONDITIONAL;
23
24	isposp IS_A boolean_var;
25	isposp == SATISFIED(ispos);
26
27	WHEN (isposp)
28	CASE TRUE:
29	USE rhs;
30	CASE FALSE:
31	USE lhs;
32	END WHEN;
33
34	METHODS
35	METHOD default_self;
36	ispos := TRUE;
37	y := 0.0;
38	x := 0.0;
39	END default_self;
40
41	METHOD values;
42	x := 3;
43	END values;
44
45	METHOD specify;
46	FIX x;
47	END specify;
48
49	METHOD on_load;
50	RUN default_self; RUN values; RUN specify;
51	END on_load;
52
53	END testcmslv2;