CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node comparetozero_test (In1_1_1 : real; In2_1_1 : int; In3_1_1 : bool; In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In5_1_1 : int; In5_1_2 : int; In5_1_3 : int; In6_1_1 : bool; In6_1_2 : bool; In6_1_3 : bool; In7_1_1 : real; In7_1_2 : real; In7_1_3 : real; In7_1_4 : real; In7_1_5 : real; In7_1_6 : real; In8_1_1 : int; In8_1_2 : int; In8_1_3 : int; In8_1_4 : int; In8_1_5 : int; In8_1_6 : int; In9_1_1 : bool; In9_1_2 : bool; In9_1_3 : bool; In9_1_4 : bool; In9_1_5 : bool; In9_1_6 : bool)

returns (Out1_1_1 : bool;

	Out2_2_1 : bool;

	Out3_3_1 : bool;

	Out4_4_1 : bool; Out4_4_2 : bool; Out4_4_3 : bool;

	Out5_5_1 : bool; Out5_5_2 : bool; Out5_5_3 : bool;

	Out6_6_1 : bool; Out6_6_2 : bool; Out6_6_3 : bool;

	Out7_7_1 : bool; Out7_7_2 : bool; Out7_7_3 : bool; Out7_7_4 : bool; Out7_7_5 : bool; Out7_7_6 : bool;

	Out8_8_1 : bool; Out8_8_2 : bool; Out8_8_3 : bool; Out8_8_4 : bool; Out8_8_5 : bool; Out8_8_6 : bool;

	Out9_9_1 : bool; Out9_9_2 : bool; Out9_9_3 : bool; Out9_9_4 : bool; Out9_9_5 : bool; Out9_9_6 : bool); 

var

	CompareToZero_1_1 : bool;

	CompareToZero1_1_1 : bool;

	CompareToZero2_1_1 : bool;

	CompareToZero3_1_1 : bool; CompareToZero3_1_2 : bool; CompareToZero3_1_3 : bool;

	CompareToZero4_1_1 : bool; CompareToZero4_1_2 : bool; CompareToZero4_1_3 : bool;

	CompareToZero5_1_1 : bool; CompareToZero5_1_2 : bool; CompareToZero5_1_3 : bool;

	CompareToZero6_1_1 : bool; CompareToZero6_1_2 : bool; CompareToZero6_1_3 : bool; CompareToZero6_1_4 : bool; CompareToZero6_1_5 : bool; CompareToZero6_1_6 : bool;

	CompareToZero7_1_1 : bool; CompareToZero7_1_2 : bool; CompareToZero7_1_3 : bool; CompareToZero7_1_4 : bool; CompareToZero7_1_5 : bool; CompareToZero7_1_6 : bool;

	CompareToZero8_1_1 : bool; CompareToZero8_1_2 : bool; CompareToZero8_1_3 : bool; CompareToZero8_1_4 : bool; CompareToZero8_1_5 : bool; CompareToZero8_1_6 : bool;

	i_virtual_local : real;

let 

	CompareToZero_1_1 = In1_1_1 <= 0.00000000;

	CompareToZero1_1_1 = In2_1_1 <= 0;

	CompareToZero2_1_1 = (if In3_1_1 then 1.0 else 0.0) <= 0.0;

	CompareToZero3_1_1 = In4_1_1 <= 0.00000000;

	CompareToZero3_1_2 = In4_1_2 <= 0.00000000;

	CompareToZero3_1_3 = In4_1_3 <= 0.00000000;

	CompareToZero4_1_1 = In5_1_1 <= 0;

	CompareToZero4_1_2 = In5_1_2 <= 0;

	CompareToZero4_1_3 = In5_1_3 <= 0;

	CompareToZero5_1_1 = (if In6_1_1 then 1.0 else 0.0) <= 0.0;

	CompareToZero5_1_2 = (if In6_1_2 then 1.0 else 0.0) <= 0.0;

	CompareToZero5_1_3 = (if In6_1_3 then 1.0 else 0.0) <= 0.0;

	CompareToZero6_1_1 = In7_1_1 <= 0.00000000;

	CompareToZero6_1_2 = In7_1_2 <= 0.00000000;

	CompareToZero6_1_3 = In7_1_3 <= 0.00000000;

	CompareToZero6_1_4 = In7_1_4 <= 0.00000000;

	CompareToZero6_1_5 = In7_1_5 <= 0.00000000;

	CompareToZero6_1_6 = In7_1_6 <= 0.00000000;

	CompareToZero7_1_1 = In8_1_1 <= 0;

	CompareToZero7_1_2 = In8_1_2 <= 0;

	CompareToZero7_1_3 = In8_1_3 <= 0;

	CompareToZero7_1_4 = In8_1_4 <= 0;

	CompareToZero7_1_5 = In8_1_5 <= 0;

	CompareToZero7_1_6 = In8_1_6 <= 0;

	CompareToZero8_1_1 = (if In9_1_1 then 1.0 else 0.0) <= 0.0;

	CompareToZero8_1_2 = (if In9_1_2 then 1.0 else 0.0) <= 0.0;

	CompareToZero8_1_3 = (if In9_1_3 then 1.0 else 0.0) <= 0.0;

	CompareToZero8_1_4 = (if In9_1_4 then 1.0 else 0.0) <= 0.0;

	CompareToZero8_1_5 = (if In9_1_5 then 1.0 else 0.0) <= 0.0;

	CompareToZero8_1_6 = (if In9_1_6 then 1.0 else 0.0) <= 0.0;

	Out1_1_1 = CompareToZero_1_1;

	Out2_2_1 = CompareToZero1_1_1;

	Out3_3_1 = CompareToZero2_1_1;

	Out4_4_1 = CompareToZero3_1_1;

	Out4_4_2 = CompareToZero3_1_2;

	Out4_4_3 = CompareToZero3_1_3;

	Out5_5_1 = CompareToZero4_1_1;

	Out5_5_2 = CompareToZero4_1_2;

	Out5_5_3 = CompareToZero4_1_3;

	Out6_6_1 = CompareToZero5_1_1;

	Out6_6_2 = CompareToZero5_1_2;

	Out6_6_3 = CompareToZero5_1_3;

	Out7_7_1 = CompareToZero6_1_1;

	Out7_7_2 = CompareToZero6_1_2;

	Out7_7_3 = CompareToZero6_1_3;

	Out7_7_4 = CompareToZero6_1_4;

	Out7_7_5 = CompareToZero6_1_5;

	Out7_7_6 = CompareToZero6_1_6;

	Out8_8_1 = CompareToZero7_1_1;

	Out8_8_2 = CompareToZero7_1_2;

	Out8_8_3 = CompareToZero7_1_3;

	Out8_8_4 = CompareToZero7_1_4;

	Out8_8_5 = CompareToZero7_1_5;

	Out8_8_6 = CompareToZero7_1_6;

	Out9_9_1 = CompareToZero8_1_1;

	Out9_9_2 = CompareToZero8_1_2;

	Out9_9_3 = CompareToZero8_1_3;

	Out9_9_4 = CompareToZero8_1_4;

	Out9_9_5 = CompareToZero8_1_5;

	Out9_9_6 = CompareToZero8_1_6;

	i_virtual_local= 0.0 -> 1.0;

tel