CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node goto_from_test (In1_1_1 : real; In2_1_1 : int; In2_1_2 : int; In3_1_1 : bool; In3_1_2 : bool; In3_1_3 : bool; In3_1_4 : bool; In3_1_5 : bool; In3_1_6 : bool)

returns (Out1_1_1 : real;

	Out2_2_1 : int; Out2_2_2 : int;

	Out3_3_1 : int; Out3_3_2 : int; Out3_3_3 : int; Out3_3_4 : int; Out3_3_5 : int; Out3_3_6 : int); 

var

	Subsystem2_Add_1_1 : int; Subsystem2_Add_1_2 : int; Subsystem2_Add_1_3 : int; Subsystem2_Add_1_4 : int; Subsystem2_Add_1_5 : int; Subsystem2_Add_1_6 : int;

	Subsystem2_From_1_1 : bool; Subsystem2_From_1_2 : bool; Subsystem2_From_1_3 : bool; Subsystem2_From_1_4 : bool; Subsystem2_From_1_5 : bool; Subsystem2_From_1_6 : bool;

	Subsystem1_Add_1_1 : int; Subsystem1_Add_1_2 : int;

	Subsystem1_From_1_1 : int; Subsystem1_From_1_2 : int;

	Subsystem_Add_1_1 : real;

	Subsystem_From_1_1 : real;

	i_virtual_local : real;

	Goto_A_1: real;

	Goto_B_1, Goto_B_2: int;

	Goto_C_1, Goto_C_2, Goto_C_3, Goto_C_4, Goto_C_5, Goto_C_6: bool;

let 

	Goto_A_1 = In1_1_1;

	Goto_B_1 = In2_1_1;

	Goto_B_2 = In2_1_2;

	Goto_C_1 = In3_1_1;

	Goto_C_2 = In3_1_2;

	Goto_C_3 = In3_1_3;

	Goto_C_4 = In3_1_4;

	Goto_C_5 = In3_1_5;

	Goto_C_6 = In3_1_6;

	Out1_1_1 = Subsystem_Add_1_1;

	Subsystem2_Add_1_1 = (if In3_1_1 then 1 else 0) + (if Subsystem2_From_1_1 then 1 else 0);

	Subsystem2_Add_1_2 = (if In3_1_2 then 1 else 0) + (if Subsystem2_From_1_2 then 1 else 0);

	Subsystem2_Add_1_3 = (if In3_1_3 then 1 else 0) + (if Subsystem2_From_1_3 then 1 else 0);

	Subsystem2_Add_1_4 = (if In3_1_4 then 1 else 0) + (if Subsystem2_From_1_4 then 1 else 0);

	Subsystem2_Add_1_5 = (if In3_1_5 then 1 else 0) + (if Subsystem2_From_1_5 then 1 else 0);

	Subsystem2_Add_1_6 = (if In3_1_6 then 1 else 0) + (if Subsystem2_From_1_6 then 1 else 0);

	Subsystem2_From_1_1 = Goto_C_1;

	Subsystem2_From_1_2 = Goto_C_2;

	Subsystem2_From_1_3 = Goto_C_3;

	Subsystem2_From_1_4 = Goto_C_4;

	Subsystem2_From_1_5 = Goto_C_5;

	Subsystem2_From_1_6 = Goto_C_6;

	Subsystem1_Add_1_1 = In2_1_1 + Subsystem1_From_1_1;

	Subsystem1_Add_1_2 = In2_1_2 + Subsystem1_From_1_2;

	Subsystem1_From_1_1 = Goto_B_1;

	Subsystem1_From_1_2 = Goto_B_2;

	Subsystem_Add_1_1 = In1_1_1 + Subsystem_From_1_1;

	Subsystem_From_1_1 = Goto_A_1;

	Out2_2_1 = Subsystem1_Add_1_1;

	Out2_2_2 = Subsystem1_Add_1_2;

	Out3_3_1 = Subsystem2_Add_1_1;

	Out3_3_2 = Subsystem2_Add_1_2;

	Out3_3_3 = Subsystem2_Add_1_3;

	Out3_3_4 = Subsystem2_Add_1_4;

	Out3_3_5 = Subsystem2_Add_1_5;

	Out3_3_6 = Subsystem2_Add_1_6;

	i_virtual_local= 0.0 -> 1.0;

tel