CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node memory_vect_test (In1_1_1 : real; In1_1_2 : real; In2_1_1 : real; In2_1_2 : real; In3_1_1 : real; In3_1_2 : real; In4_1_1 : int; In4_1_2 : int; In5_1_1 : int; In5_1_2 : int; In6_1_1 : int; In6_1_2 : int; In7_1_1 : bool; In7_1_2 : bool; In8_1_1 : bool; In8_1_2 : bool; In9_1_1 : bool; In9_1_2 : bool; In10_1_1 : real; In10_1_2 : real; In11_1_1 : real; In11_1_2 : real; In12_1_1 : real; In12_1_2 : real; In13_1_1 : int; In13_1_2 : int; In14_1_1 : int; In14_1_2 : int; In15_1_1 : int; In15_1_2 : int; In16_1_1 : bool; In16_1_2 : bool; In17_1_1 : bool; In17_1_2 : bool; In18_1_1 : bool; In18_1_2 : bool)

returns (Out1_1_1 : real; Out1_1_2 : real;

	Out2_2_1 : real; Out2_2_2 : real;

	Out3_3_1 : real; Out3_3_2 : real;

	Out4_4_1 : int; Out4_4_2 : int;

	Out5_5_1 : int; Out5_5_2 : int;

	Out6_6_1 : int; Out6_6_2 : int;

	Out7_7_1 : bool; Out7_7_2 : bool;

	Out8_8_1 : bool; Out8_8_2 : bool;

	Out9_9_1 : bool; Out9_9_2 : bool;

	Out10_10_1 : real; Out10_10_2 : real;

	Out11_11_1 : real; Out11_11_2 : real;

	Out12_12_1 : real; Out12_12_2 : real;

	Out13_13_1 : int; Out13_13_2 : int;

	Out14_14_1 : int; Out14_14_2 : int;

	Out15_15_1 : int; Out15_15_2 : int;

	Out16_16_1 : bool; Out16_16_2 : bool;

	Out17_17_1 : bool; Out17_17_2 : bool;

	Out18_18_1 : bool; Out18_18_2 : bool); 

var

	Memory_1_1 : real; Memory_1_2 : real;

	Memory1_1_1 : real; Memory1_1_2 : real;

	Memory10_1_1 : real; Memory10_1_2 : real;

	Memory11_1_1 : real; Memory11_1_2 : real;

	Memory12_1_1 : int; Memory12_1_2 : int;

	Memory13_1_1 : int; Memory13_1_2 : int;

	Memory14_1_1 : int; Memory14_1_2 : int;

	Memory15_1_1 : bool; Memory15_1_2 : bool;

	Memory16_1_1 : bool; Memory16_1_2 : bool;

	Memory17_1_1 : bool; Memory17_1_2 : bool;

	Memory2_1_1 : real; Memory2_1_2 : real;

	Memory3_1_1 : int; Memory3_1_2 : int;

	Memory4_1_1 : int; Memory4_1_2 : int;

	Memory5_1_1 : int; Memory5_1_2 : int;

	Memory6_1_1 : bool; Memory6_1_2 : bool;

	Memory7_1_1 : bool; Memory7_1_2 : bool;

	Memory8_1_1 : bool; Memory8_1_2 : bool;

	Memory9_1_1 : real; Memory9_1_2 : real;

	i_virtual_local : real;

let 

	Memory_1_1 = 0.00000000 -> pre In1_1_1;

	Memory_1_2 = 0.00000000 -> pre In1_1_2;

	Memory1_1_1 = 0.00000000 -> pre In2_1_1;

	Memory1_1_2 = 0.00000000 -> pre In2_1_2;

	Memory10_1_1 = 0.00000000 -> pre In11_1_1;

	Memory10_1_2 = 2.00000000 -> pre In11_1_2;

	Memory11_1_1 = 1.00000000 -> pre In12_1_1;

	Memory11_1_2 = 0.00000000 -> pre In12_1_2;

	Memory12_1_1 = 0 -> pre In14_1_1;

	Memory12_1_2 = 2 -> pre In14_1_2;

	Memory13_1_1 = 1 -> pre In15_1_1;

	Memory13_1_2 = 0 -> pre In15_1_2;

	Memory14_1_1 = 0 -> pre In13_1_1;

	Memory14_1_2 = 2 -> pre In13_1_2;

	Memory15_1_1 = false -> pre In17_1_1;

	Memory15_1_2 = true -> pre In17_1_2;

	Memory16_1_1 = true -> pre In18_1_1;

	Memory16_1_2 = false -> pre In18_1_2;

	Memory17_1_1 = false -> pre In16_1_1;

	Memory17_1_2 = true -> pre In16_1_2;

	Memory2_1_1 = 1.00000000 -> pre In3_1_1;

	Memory2_1_2 = 1.00000000 -> pre In3_1_2;

	Memory3_1_1 = 0 -> pre In4_1_1;

	Memory3_1_2 = 0 -> pre In4_1_2;

	Memory4_1_1 = 0 -> pre In5_1_1;

	Memory4_1_2 = 0 -> pre In5_1_2;

	Memory5_1_1 = 1 -> pre In6_1_1;

	Memory5_1_2 = 1 -> pre In6_1_2;

	Memory6_1_1 = false -> pre In7_1_1;

	Memory6_1_2 = false -> pre In7_1_2;

	Memory7_1_1 = false -> pre In8_1_1;

	Memory7_1_2 = false -> pre In8_1_2;

	Memory8_1_1 = true -> pre In9_1_1;

	Memory8_1_2 = true -> pre In9_1_2;

	Memory9_1_1 = 0.00000000 -> pre In10_1_1;

	Memory9_1_2 = 2.00000000 -> pre In10_1_2;

	Out1_1_1 = Memory_1_1;

	Out1_1_2 = Memory_1_2;

	Out2_2_1 = Memory1_1_1;

	Out2_2_2 = Memory1_1_2;

	Out3_3_1 = Memory2_1_1;

	Out3_3_2 = Memory2_1_2;

	Out4_4_1 = Memory3_1_1;

	Out4_4_2 = Memory3_1_2;

	Out5_5_1 = Memory4_1_1;

	Out5_5_2 = Memory4_1_2;

	Out6_6_1 = Memory5_1_1;

	Out6_6_2 = Memory5_1_2;

	Out7_7_1 = Memory6_1_1;

	Out7_7_2 = Memory6_1_2;

	Out8_8_1 = Memory7_1_1;

	Out8_8_2 = Memory7_1_2;

	Out9_9_1 = Memory8_1_1;

	Out9_9_2 = Memory8_1_2;

	Out10_10_1 = Memory9_1_1;

	Out10_10_2 = Memory9_1_2;

	Out11_11_1 = Memory10_1_1;

	Out11_11_2 = Memory10_1_2;

	Out12_12_1 = Memory11_1_1;

	Out12_12_2 = Memory11_1_2;

	Out13_13_1 = Memory14_1_1;

	Out13_13_2 = Memory14_1_2;

	Out14_14_1 = Memory12_1_1;

	Out14_14_2 = Memory12_1_2;

	Out15_15_1 = Memory13_1_1;

	Out15_15_2 = Memory13_1_2;

	Out16_16_1 = Memory17_1_1;

	Out16_16_2 = Memory17_1_2;

	Out17_17_1 = Memory15_1_1;

	Out17_17_2 = Memory15_1_2;

	Out18_18_1 = Memory16_1_1;

	Out18_18_2 = Memory16_1_2;

	i_virtual_local= 0.0 -> 1.0;

tel