CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node comparetoconstant_test (In2_1_1 : real; In3_1_1 : int; In4_1_1 : bool; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In7_1_1 : bool; In7_1_2 : bool; In7_1_3 : bool; In8_1_1 : real; In8_1_2 : real; In8_1_3 : real; In8_1_4 : real; In8_1_5 : real; In8_1_6 : real; In9_1_1 : int; In9_1_2 : int; In9_1_3 : int; In9_1_4 : int; In9_1_5 : int; In9_1_6 : int; In10_1_1 : bool; In10_1_2 : bool; In10_1_3 : bool; In10_1_4 : bool; In10_1_5 : bool; In10_1_6 : bool; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In13_1_1 : real; In13_1_2 : real; In13_1_3 : real; In13_1_4 : real; In13_1_5 : real; In13_1_6 : real; In1_1_1 : real; In11_1_1 : real)

returns (Out2_1_1 : bool;

	Out3_2_1 : bool;

	Out4_3_1 : bool;

	Out5_4_1 : bool; Out5_4_2 : bool; Out5_4_3 : bool;

	Out6_5_1 : bool; Out6_5_2 : bool; Out6_5_3 : bool;

	Out7_6_1 : bool; Out7_6_2 : bool; Out7_6_3 : bool;

	Out8_7_1 : bool; Out8_7_2 : bool; Out8_7_3 : bool; Out8_7_4 : bool; Out8_7_5 : bool; Out8_7_6 : bool;

	Out9_8_1 : bool; Out9_8_2 : bool; Out9_8_3 : bool; Out9_8_4 : bool; Out9_8_5 : bool; Out9_8_6 : bool;

	Out10_9_1 : bool; Out10_9_2 : bool; Out10_9_3 : bool; Out10_9_4 : bool; Out10_9_5 : bool; Out10_9_6 : bool;

	Out12_10_1 : bool; Out12_10_2 : bool; Out12_10_3 : bool;

	Out13_11_1 : bool; Out13_11_2 : bool; Out13_11_3 : bool; Out13_11_4 : bool; Out13_11_5 : bool; Out13_11_6 : bool;

	Out1_12_1 : bool; Out1_12_2 : bool; Out1_12_3 : bool;

	Out11_13_1 : bool; Out11_13_2 : bool; Out11_13_3 : bool; Out11_13_4 : bool; Out11_13_5 : bool; Out11_13_6 : bool); 

var

	CompareToConstant_1_1 : bool;

	CompareToConstant1_1_1 : bool;

	CompareToConstant10_1_1 : bool; CompareToConstant10_1_2 : bool; CompareToConstant10_1_3 : bool; CompareToConstant10_1_4 : bool; CompareToConstant10_1_5 : bool; CompareToConstant10_1_6 : bool;

	CompareToConstant11_1_1 : bool; CompareToConstant11_1_2 : bool; CompareToConstant11_1_3 : bool;

	CompareToConstant12_1_1 : bool; CompareToConstant12_1_2 : bool; CompareToConstant12_1_3 : bool; CompareToConstant12_1_4 : bool; CompareToConstant12_1_5 : bool; CompareToConstant12_1_6 : bool;

	CompareToConstant2_1_1 : bool;

	CompareToConstant3_1_1 : bool; CompareToConstant3_1_2 : bool; CompareToConstant3_1_3 : bool;

	CompareToConstant4_1_1 : bool; CompareToConstant4_1_2 : bool; CompareToConstant4_1_3 : bool;

	CompareToConstant5_1_1 : bool; CompareToConstant5_1_2 : bool; CompareToConstant5_1_3 : bool;

	CompareToConstant6_1_1 : bool; CompareToConstant6_1_2 : bool; CompareToConstant6_1_3 : bool; CompareToConstant6_1_4 : bool; CompareToConstant6_1_5 : bool; CompareToConstant6_1_6 : bool;

	CompareToConstant7_1_1 : bool; CompareToConstant7_1_2 : bool; CompareToConstant7_1_3 : bool; CompareToConstant7_1_4 : bool; CompareToConstant7_1_5 : bool; CompareToConstant7_1_6 : bool;

	CompareToConstant8_1_1 : bool; CompareToConstant8_1_2 : bool; CompareToConstant8_1_3 : bool; CompareToConstant8_1_4 : bool; CompareToConstant8_1_5 : bool; CompareToConstant8_1_6 : bool;

	CompareToConstant9_1_1 : bool; CompareToConstant9_1_2 : bool; CompareToConstant9_1_3 : bool;

	i_virtual_local : real;

let 

	CompareToConstant_1_1 = In2_1_1 = 3.00000000;

	CompareToConstant1_1_1 = not(In3_1_1 = 3);

	CompareToConstant10_1_1 = In11_1_1 >= 2.00000000;

	CompareToConstant10_1_2 = In11_1_1 >= 4.00000000;

	CompareToConstant10_1_3 = In11_1_1 >= 6.00000000;

	CompareToConstant10_1_4 = In11_1_1 >= 2.00000000;

	CompareToConstant10_1_5 = In11_1_1 >= 4.00000000;

	CompareToConstant10_1_6 = In11_1_1 >= 6.00000000;

	CompareToConstant11_1_1 = In12_1_1 < 2.00000000;

	CompareToConstant11_1_2 = In12_1_2 < 4.00000000;

	CompareToConstant11_1_3 = In12_1_3 < 6.00000000;

	CompareToConstant12_1_1 = In13_1_1 <= 2.00000000;

	CompareToConstant12_1_2 = In13_1_2 <= 4.00000000;

	CompareToConstant12_1_3 = In13_1_3 <= 6.00000000;

	CompareToConstant12_1_4 = In13_1_4 <= 4.00000000;

	CompareToConstant12_1_5 = In13_1_5 <= 6.00000000;

	CompareToConstant12_1_6 = In13_1_6 <= 8.00000000;

	CompareToConstant2_1_1 = (if In4_1_1 then 1.0 else 0.0) < 1.0;

	CompareToConstant3_1_1 = In5_1_1 > 3.00000000;

	CompareToConstant3_1_2 = In5_1_2 > 3.00000000;

	CompareToConstant3_1_3 = In5_1_3 > 3.00000000;

	CompareToConstant4_1_1 = In6_1_1 = 3;

	CompareToConstant4_1_2 = In6_1_2 = 3;

	CompareToConstant4_1_3 = In6_1_3 = 3;

	CompareToConstant5_1_1 = not((if In7_1_1 then 1.0 else 0.0) = 1.0);

	CompareToConstant5_1_2 = not((if In7_1_2 then 1.0 else 0.0) = 1.0);

	CompareToConstant5_1_3 = not((if In7_1_3 then 1.0 else 0.0) = 1.0);

	CompareToConstant6_1_1 = In8_1_1 <= 3.00000000;

	CompareToConstant6_1_2 = In8_1_2 <= 3.00000000;

	CompareToConstant6_1_3 = In8_1_3 <= 3.00000000;

	CompareToConstant6_1_4 = In8_1_4 <= 3.00000000;

	CompareToConstant6_1_5 = In8_1_5 <= 3.00000000;

	CompareToConstant6_1_6 = In8_1_6 <= 3.00000000;

	CompareToConstant7_1_1 = In9_1_1 >= 3;

	CompareToConstant7_1_2 = In9_1_2 >= 3;

	CompareToConstant7_1_3 = In9_1_3 >= 3;

	CompareToConstant7_1_4 = In9_1_4 >= 3;

	CompareToConstant7_1_5 = In9_1_5 >= 3;

	CompareToConstant7_1_6 = In9_1_6 >= 3;

	CompareToConstant8_1_1 = (if In10_1_1 then 1.0 else 0.0) > 1.0;

	CompareToConstant8_1_2 = (if In10_1_2 then 1.0 else 0.0) > 1.0;

	CompareToConstant8_1_3 = (if In10_1_3 then 1.0 else 0.0) > 1.0;

	CompareToConstant8_1_4 = (if In10_1_4 then 1.0 else 0.0) > 1.0;

	CompareToConstant8_1_5 = (if In10_1_5 then 1.0 else 0.0) > 1.0;

	CompareToConstant8_1_6 = (if In10_1_6 then 1.0 else 0.0) > 1.0;

	CompareToConstant9_1_1 = In1_1_1 <= 2.00000000;

	CompareToConstant9_1_2 = In1_1_1 <= 4.00000000;

	CompareToConstant9_1_3 = In1_1_1 <= 6.00000000;

	Out2_1_1 = CompareToConstant_1_1;

	Out3_2_1 = CompareToConstant1_1_1;

	Out4_3_1 = CompareToConstant2_1_1;

	Out5_4_1 = CompareToConstant3_1_1;

	Out5_4_2 = CompareToConstant3_1_2;

	Out5_4_3 = CompareToConstant3_1_3;

	Out6_5_1 = CompareToConstant4_1_1;

	Out6_5_2 = CompareToConstant4_1_2;

	Out6_5_3 = CompareToConstant4_1_3;

	Out7_6_1 = CompareToConstant5_1_1;

	Out7_6_2 = CompareToConstant5_1_2;

	Out7_6_3 = CompareToConstant5_1_3;

	Out8_7_1 = CompareToConstant6_1_1;

	Out8_7_2 = CompareToConstant6_1_2;

	Out8_7_3 = CompareToConstant6_1_3;

	Out8_7_4 = CompareToConstant6_1_4;

	Out8_7_5 = CompareToConstant6_1_5;

	Out8_7_6 = CompareToConstant6_1_6;

	Out9_8_1 = CompareToConstant7_1_1;

	Out9_8_2 = CompareToConstant7_1_2;

	Out9_8_3 = CompareToConstant7_1_3;

	Out9_8_4 = CompareToConstant7_1_4;

	Out9_8_5 = CompareToConstant7_1_5;

	Out9_8_6 = CompareToConstant7_1_6;

	Out10_9_1 = CompareToConstant8_1_1;

	Out10_9_2 = CompareToConstant8_1_2;

	Out10_9_3 = CompareToConstant8_1_3;

	Out10_9_4 = CompareToConstant8_1_4;

	Out10_9_5 = CompareToConstant8_1_5;

	Out10_9_6 = CompareToConstant8_1_6;

	Out12_10_1 = CompareToConstant11_1_1;

	Out12_10_2 = CompareToConstant11_1_2;

	Out12_10_3 = CompareToConstant11_1_3;

	Out13_11_1 = CompareToConstant12_1_1;

	Out13_11_2 = CompareToConstant12_1_2;

	Out13_11_3 = CompareToConstant12_1_3;

	Out13_11_4 = CompareToConstant12_1_4;

	Out13_11_5 = CompareToConstant12_1_5;

	Out13_11_6 = CompareToConstant12_1_6;

	Out1_12_1 = CompareToConstant9_1_1;

	Out1_12_2 = CompareToConstant9_1_2;

	Out1_12_3 = CompareToConstant9_1_3;

	Out11_13_1 = CompareToConstant10_1_1;

	Out11_13_2 = CompareToConstant10_1_2;

	Out11_13_3 = CompareToConstant10_1_3;

	Out11_13_4 = CompareToConstant10_1_4;

	Out11_13_5 = CompareToConstant10_1_5;

	Out11_13_6 = CompareToConstant10_1_6;

	i_virtual_local= 0.0 -> 1.0;

tel