CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node integrator_ext_reset_matrix_test (In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In4_1_4 : real; In7_1_1 : real; In1_1_1 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In2_1_4 : real; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In3_1_4 : real; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In5_1_4 : real; In6_1_1 : real; In6_1_2 : real; In6_1_3 : real; In6_1_4 : real; In8_1_1 : real; In9_1_1 : real; In10_1_1 : real; In10_1_2 : real; In10_1_3 : real; In10_1_4 : real; In11_1_1 : real; In11_1_2 : real; In11_1_3 : real; In11_1_4 : real; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In12_1_4 : real; In13_1_1 : real; In13_1_2 : real; In13_1_3 : real; In13_1_4 : real; In14_1_1 : real; In15_1_1 : real; In16_1_1 : real; In16_1_2 : real; In16_1_3 : real; In16_1_4 : real; In17_1_1 : real; In17_1_2 : real; In17_1_3 : real; In17_1_4 : real; In18_1_1 : real; In18_1_2 : real; In18_1_3 : real; In18_1_4 : real; In19_1_1 : real; In20_1_1 : real)

returns (Out4_1_1 : real; Out4_1_2 : real; Out4_1_3 : real; Out4_1_4 : real;

	Out1_2_1 : real; Out1_2_2 : real; Out1_2_3 : real; Out1_2_4 : real;

	Out2_3_1 : real; Out2_3_2 : real; Out2_3_3 : real; Out2_3_4 : real;

	Out3_4_1 : real; Out3_4_2 : real; Out3_4_3 : real; Out3_4_4 : real;

	Out5_5_1 : real; Out5_5_2 : real; Out5_5_3 : real; Out5_5_4 : real;

	Out6_6_1 : real; Out6_6_2 : real; Out6_6_3 : real; Out6_6_4 : real;

	Out7_7_1 : real; Out7_7_2 : real; Out7_7_3 : real; Out7_7_4 : real;

	Out8_8_1 : real; Out8_8_2 : real; Out8_8_3 : real; Out8_8_4 : real;

	Out9_9_1 : real; Out9_9_2 : real; Out9_9_3 : real; Out9_9_4 : real;

	Out10_10_1 : real; Out10_10_2 : real; Out10_10_3 : real; Out10_10_4 : real); 

var

	Integrator_1_1 : real; Integrator_1_2 : real; Integrator_1_3 : real; Integrator_1_4 : real;

	Integrator1_1_1 : real; Integrator1_1_2 : real; Integrator1_1_3 : real; Integrator1_1_4 : real;

	Integrator2_1_1 : real; Integrator2_1_2 : real; Integrator2_1_3 : real; Integrator2_1_4 : real;

	Integrator3_1_1 : real; Integrator3_1_2 : real; Integrator3_1_3 : real; Integrator3_1_4 : real;

	Integrator4_1_1 : real; Integrator4_1_2 : real; Integrator4_1_3 : real; Integrator4_1_4 : real;

	Integrator5_1_1 : real; Integrator5_1_2 : real; Integrator5_1_3 : real; Integrator5_1_4 : real;

	Integrator6_1_1 : real; Integrator6_1_2 : real; Integrator6_1_3 : real; Integrator6_1_4 : real;

	Integrator7_1_1 : real; Integrator7_1_2 : real; Integrator7_1_3 : real; Integrator7_1_4 : real;

	Integrator8_1_1 : real; Integrator8_1_2 : real; Integrator8_1_3 : real; Integrator8_1_4 : real;

	Integrator9_1_1 : real; Integrator9_1_2 : real; Integrator9_1_3 : real; Integrator9_1_4 : real;

	i_virtual_local : real;

	Integrator_Reset_Trigger1_1: bool;

	Integrator_Reset_Trigger1_2: bool;

	Integrator_Reset_Trigger2_1: bool;

	Integrator_Reset_Trigger2_2: bool;

	Integrator1_Reset_Trigger1_1: bool;

	Integrator1_Reset_Trigger1_2: bool;

	Integrator1_Reset_Trigger2_1: bool;

	Integrator1_Reset_Trigger2_2: bool;

	Integrator2_Reset_Trigger1_1: bool;

	Integrator2_Reset_Trigger1_2: bool;

	Integrator2_Reset_Trigger2_1: bool;

	Integrator2_Reset_Trigger2_2: bool;

	Integrator3_Reset_Trigger1_1: bool;

	Integrator3_Reset_Trigger1_2: bool;

	Integrator3_Reset_Trigger2_1: bool;

	Integrator3_Reset_Trigger2_2: bool;

	Integrator4_Reset_Trigger1_1: bool;

	Integrator4_Reset_Trigger1_2: bool;

	Integrator4_Reset_Trigger2_1: bool;

	Integrator4_Reset_Trigger2_2: bool;

	Integrator5_Reset_Trigger1_1: bool;

	Integrator5_Reset_Trigger1_2: bool;

	Integrator5_Reset_Trigger2_1: bool;

	Integrator5_Reset_Trigger2_2: bool;

	Integrator6_Reset_Trigger1_1: bool;

	Integrator6_Reset_Trigger1_2: bool;

	Integrator6_Reset_Trigger2_1: bool;

	Integrator6_Reset_Trigger2_2: bool;

	Integrator7_Reset_Trigger1_1: bool;

	Integrator7_Reset_Trigger1_2: bool;

	Integrator7_Reset_Trigger2_1: bool;

	Integrator7_Reset_Trigger2_2: bool;

	Integrator8_Reset_Trigger1_1: bool;

	Integrator8_Reset_Trigger1_2: bool;

	Integrator8_Reset_Trigger2_1: bool;

	Integrator8_Reset_Trigger2_2: bool;

	Integrator9_Reset_Trigger1_1: bool;

	Integrator9_Reset_Trigger1_2: bool;

	Integrator9_Reset_Trigger2_1: bool;

	Integrator9_Reset_Trigger2_2: bool;

let 

	Integrator_Reset_Trigger1_1 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);

	Integrator_1_1 = 0.00000000 -> if Integrator_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_1) + pre Integrator_1_1;

	Integrator_Reset_Trigger1_2 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);

	Integrator_1_2 = 0.00000000 -> if Integrator_Reset_Trigger1_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_2) + pre Integrator_1_2;

	Integrator_Reset_Trigger2_1 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);

	Integrator_1_3 = 0.00000000 -> if Integrator_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_3) + pre Integrator_1_3;

	Integrator_Reset_Trigger2_2 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);

	Integrator_1_4 = 0.00000000 -> if Integrator_Reset_Trigger2_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_4) + pre Integrator_1_4;

	Integrator1_Reset_Trigger1_1 = false -> (pre(In2_1_1) <= 0.0 and In2_1_1 > 0.0);

	Integrator1_1_1 = 0.00000000 -> if Integrator1_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_1;

	Integrator1_Reset_Trigger1_2 = false -> (pre(In2_1_2) <= 0.0 and In2_1_2 > 0.0);

	Integrator1_1_2 = 0.00000000 -> if Integrator1_Reset_Trigger1_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_2;

	Integrator1_Reset_Trigger2_1 = false -> (pre(In2_1_3) <= 0.0 and In2_1_3 > 0.0);

	Integrator1_1_3 = 0.00000000 -> if Integrator1_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_3;

	Integrator1_Reset_Trigger2_2 = false -> (pre(In2_1_4) <= 0.0 and In2_1_4 > 0.0);

	Integrator1_1_4 = 0.00000000 -> if Integrator1_Reset_Trigger2_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_4;

	Integrator2_Reset_Trigger1_1 = false -> (pre(In5_1_1) <= 0.0 and In5_1_1 > 0.0);

	Integrator2_1_1 = 0.00000000 -> if Integrator2_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_1) + pre Integrator2_1_1;

	Integrator2_Reset_Trigger1_2 = false -> (pre(In5_1_2) <= 0.0 and In5_1_2 > 0.0);

	Integrator2_1_2 = 0.00000000 -> if Integrator2_Reset_Trigger1_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_2) + pre Integrator2_1_2;

	Integrator2_Reset_Trigger2_1 = false -> (pre(In5_1_3) <= 0.0 and In5_1_3 > 0.0);

	Integrator2_1_3 = 0.00000000 -> if Integrator2_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_3) + pre Integrator2_1_3;

	Integrator2_Reset_Trigger2_2 = false -> (pre(In5_1_4) <= 0.0 and In5_1_4 > 0.0);

	Integrator2_1_4 = 0.00000000 -> if Integrator2_Reset_Trigger2_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_4) + pre Integrator2_1_4;

	Integrator3_Reset_Trigger1_1 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);

	Integrator3_1_1 = 25.00000000 -> if Integrator3_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In6_1_1) + pre Integrator3_1_1;

	Integrator3_Reset_Trigger1_2 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);

	Integrator3_1_2 = 54.00000000 -> if Integrator3_Reset_Trigger1_2 then 54.00000000 else (1.00000000 * 1.00000000)*(pre In6_1_2) + pre Integrator3_1_2;

	Integrator3_Reset_Trigger2_1 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);

	Integrator3_1_3 = 0.70000000 -> if Integrator3_Reset_Trigger2_1 then 0.70000000 else (1.00000000 * 1.00000000)*(pre In6_1_3) + pre Integrator3_1_3;

	Integrator3_Reset_Trigger2_2 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);

	Integrator3_1_4 = 58.00000000 -> if Integrator3_Reset_Trigger2_2 then 58.00000000 else (1.00000000 * 1.00000000)*(pre In6_1_4) + pre Integrator3_1_4;

	Integrator4_Reset_Trigger1_1 = false -> (pre(In10_1_1) <= 0.0 and In10_1_1 > 0.0);

	Integrator4_1_1 = 25.00000000 -> if Integrator4_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_1;

	Integrator4_Reset_Trigger1_2 = false -> (pre(In10_1_2) <= 0.0 and In10_1_2 > 0.0);

	Integrator4_1_2 = 54.00000000 -> if Integrator4_Reset_Trigger1_2 then 54.00000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_2;

	Integrator4_Reset_Trigger2_1 = false -> (pre(In10_1_3) <= 0.0 and In10_1_3 > 0.0);

	Integrator4_1_3 = 0.70000000 -> if Integrator4_Reset_Trigger2_1 then 0.70000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_3;

	Integrator4_Reset_Trigger2_2 = false -> (pre(In10_1_4) <= 0.0 and In10_1_4 > 0.0);

	Integrator4_1_4 = 58.00000000 -> if Integrator4_Reset_Trigger2_2 then 58.00000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_4;

	Integrator5_Reset_Trigger1_1 = false -> (pre(In12_1_1) <= 0.0 and In12_1_1 > 0.0);

	Integrator5_1_1 = 25.00000000 -> if Integrator5_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In11_1_1) + pre Integrator5_1_1;

	Integrator5_Reset_Trigger1_2 = false -> (pre(In12_1_2) <= 0.0 and In12_1_2 > 0.0);

	Integrator5_1_2 = 54.00000000 -> if Integrator5_Reset_Trigger1_2 then 54.00000000 else (1.00000000 * 1.00000000)*(pre In11_1_2) + pre Integrator5_1_2;

	Integrator5_Reset_Trigger2_1 = false -> (pre(In12_1_3) <= 0.0 and In12_1_3 > 0.0);

	Integrator5_1_3 = 0.70000000 -> if Integrator5_Reset_Trigger2_1 then 0.70000000 else (1.00000000 * 1.00000000)*(pre In11_1_3) + pre Integrator5_1_3;

	Integrator5_Reset_Trigger2_2 = false -> (pre(In12_1_4) <= 0.0 and In12_1_4 > 0.0);

	Integrator5_1_4 = 58.00000000 -> if Integrator5_Reset_Trigger2_2 then 58.00000000 else (1.00000000 * 1.00000000)*(pre In11_1_4) + pre Integrator5_1_4;

	Integrator6_Reset_Trigger1_1 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);

	Integrator6_1_1 = 25.00000000 -> if Integrator6_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In13_1_1) + pre Integrator6_1_1;

	Integrator6_Reset_Trigger1_2 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);

	Integrator6_1_2 = 54.00000000 -> if Integrator6_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In13_1_2) + pre Integrator6_1_2;

	Integrator6_Reset_Trigger2_1 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);

	Integrator6_1_3 = 0.70000000 -> if Integrator6_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In13_1_3) + pre Integrator6_1_3;

	Integrator6_Reset_Trigger2_2 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);

	Integrator6_1_4 = 58.00000000 -> if Integrator6_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In13_1_4) + pre Integrator6_1_4;

	Integrator7_Reset_Trigger1_1 = false -> (pre(In16_1_1) <= 0.0 and In16_1_1 > 0.0);

	Integrator7_1_1 = 25.00000000 -> if Integrator7_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_1;

	Integrator7_Reset_Trigger1_2 = false -> (pre(In16_1_2) <= 0.0 and In16_1_2 > 0.0);

	Integrator7_1_2 = 54.00000000 -> if Integrator7_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_2;

	Integrator7_Reset_Trigger2_1 = false -> (pre(In16_1_3) <= 0.0 and In16_1_3 > 0.0);

	Integrator7_1_3 = 0.70000000 -> if Integrator7_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_3;

	Integrator7_Reset_Trigger2_2 = false -> (pre(In16_1_4) <= 0.0 and In16_1_4 > 0.0);

	Integrator7_1_4 = 58.00000000 -> if Integrator7_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_4;

	Integrator8_Reset_Trigger1_1 = false -> (pre(In18_1_1) <= 0.0 and In18_1_1 > 0.0);

	Integrator8_1_1 = 25.00000000 -> if Integrator8_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In17_1_1) + pre Integrator8_1_1;

	Integrator8_Reset_Trigger1_2 = false -> (pre(In18_1_2) <= 0.0 and In18_1_2 > 0.0);

	Integrator8_1_2 = 54.00000000 -> if Integrator8_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In17_1_2) + pre Integrator8_1_2;

	Integrator8_Reset_Trigger2_1 = false -> (pre(In18_1_3) <= 0.0 and In18_1_3 > 0.0);

	Integrator8_1_3 = 0.70000000 -> if Integrator8_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In17_1_3) + pre Integrator8_1_3;

	Integrator8_Reset_Trigger2_2 = false -> (pre(In18_1_4) <= 0.0 and In18_1_4 > 0.0);

	Integrator8_1_4 = 58.00000000 -> if Integrator8_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In17_1_4) + pre Integrator8_1_4;

	Integrator9_Reset_Trigger1_1 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);

	Integrator9_1_1 = 25.00000000 -> if Integrator9_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_1;

	Integrator9_Reset_Trigger1_2 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);

	Integrator9_1_2 = 54.00000000 -> if Integrator9_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_2;

	Integrator9_Reset_Trigger2_1 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);

	Integrator9_1_3 = 0.70000000 -> if Integrator9_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_3;

	Integrator9_Reset_Trigger2_2 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);

	Integrator9_1_4 = 58.00000000 -> if Integrator9_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_4;

	Out4_1_1 = Integrator_1_1;

	Out4_1_2 = Integrator_1_2;

	Out4_1_3 = Integrator_1_3;

	Out4_1_4 = Integrator_1_4;

	Out1_2_1 = Integrator1_1_1;

	Out1_2_2 = Integrator1_1_2;

	Out1_2_3 = Integrator1_1_3;

	Out1_2_4 = Integrator1_1_4;

	Out2_3_1 = Integrator2_1_1;

	Out2_3_2 = Integrator2_1_2;

	Out2_3_3 = Integrator2_1_3;

	Out2_3_4 = Integrator2_1_4;

	Out3_4_1 = Integrator3_1_1;

	Out3_4_2 = Integrator3_1_2;

	Out3_4_3 = Integrator3_1_3;

	Out3_4_4 = Integrator3_1_4;

	Out5_5_1 = Integrator4_1_1;

	Out5_5_2 = Integrator4_1_2;

	Out5_5_3 = Integrator4_1_3;

	Out5_5_4 = Integrator4_1_4;

	Out6_6_1 = Integrator5_1_1;

	Out6_6_2 = Integrator5_1_2;

	Out6_6_3 = Integrator5_1_3;

	Out6_6_4 = Integrator5_1_4;

	Out7_7_1 = Integrator6_1_1;

	Out7_7_2 = Integrator6_1_2;

	Out7_7_3 = Integrator6_1_3;

	Out7_7_4 = Integrator6_1_4;

	Out8_8_1 = Integrator7_1_1;

	Out8_8_2 = Integrator7_1_2;

	Out8_8_3 = Integrator7_1_3;

	Out8_8_4 = Integrator7_1_4;

	Out9_9_1 = Integrator8_1_1;

	Out9_9_2 = Integrator8_1_2;

	Out9_9_3 = Integrator8_1_3;

	Out9_9_4 = Integrator8_1_4;

	Out10_10_1 = Integrator9_1_1;

	Out10_10_2 = Integrator9_1_2;

	Out10_10_3 = Integrator9_1_3;

	Out10_10_4 = Integrator9_1_4;

	i_virtual_local= 0.0 -> 1.0;

tel