CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by cocoSim

-- System nodes

node assignment_test (In1_1_1 : real; In1_1_2 : real; In1_1_3 : real; In1_1_4 : real; In1_1_5 : real; In1_1_6 : real; In2_1_1 : bool; In2_1_2 : bool; In2_1_3 : bool; In2_1_4 : bool; In2_1_5 : bool; In2_1_6 : bool; In3_1_1 : int; In3_1_2 : int; In3_1_3 : int; In3_1_4 : int; In3_1_5 : int; In3_1_6 : int; In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In5_1_1 : bool; In5_1_2 : bool; In5_1_3 : bool; In6_1_1 : int; In6_1_2 : int; In6_1_3 : int; In7_1_1 : int; In7_1_2 : int; In7_1_3 : int; In8_1_1 : int; In8_1_2 : int; In8_1_3 : int; In8_1_4 : int; In8_1_5 : int; In8_1_6 : int)

returns (Out1_1_1 : real; Out1_1_2 : real; Out1_1_3 : real; Out1_1_4 : real; Out1_1_5 : real; Out1_1_6 : real;

	Out2_2_1 : bool; Out2_2_2 : bool; Out2_2_3 : bool; Out2_2_4 : bool; Out2_2_5 : bool; Out2_2_6 : bool;

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

	Out4_4_1 : real; Out4_4_2 : real; Out4_4_3 : real;

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

	Out6_6_1 : int; Out6_6_2 : int; Out6_6_3 : int;

	Out7_7_1 : int; Out7_7_2 : int; Out7_7_3 : int;

	Out8_8_1 : int; Out8_8_2 : int; Out8_8_3 : int; Out8_8_4 : int; Out8_8_5 : int; Out8_8_6 : int); 

var

	Assignment_1_1 : real; Assignment_1_2 : real; Assignment_1_3 : real; Assignment_1_4 : real; Assignment_1_5 : real; Assignment_1_6 : real;

	Assignment1_1_1 : bool; Assignment1_1_2 : bool; Assignment1_1_3 : bool; Assignment1_1_4 : bool; Assignment1_1_5 : bool; Assignment1_1_6 : bool;

	Assignment2_1_1 : int; Assignment2_1_2 : int; Assignment2_1_3 : int; Assignment2_1_4 : int; Assignment2_1_5 : int; Assignment2_1_6 : int;

	Assignment3_1_1 : real; Assignment3_1_2 : real; Assignment3_1_3 : real;

	Assignment4_1_1 : bool; Assignment4_1_2 : bool; Assignment4_1_3 : bool;

	Assignment5_1_1 : int; Assignment5_1_2 : int; Assignment5_1_3 : int;

	Assignment6_1_1 : int; Assignment6_1_2 : int; Assignment6_1_3 : int;

	Assignment7_1_1 : int; Assignment7_1_2 : int; Assignment7_1_3 : int; Assignment7_1_4 : int; Assignment7_1_5 : int; Assignment7_1_6 : int;

	Constant1_1_1 : real;

	Constant2_1_1 : real;

	Constant3_1_1 : bool;

	Constant4_1_1 : bool;

	Constant5_1_1 : int;

	Constant6_1_1 : int;

	Constant7_1_1 : int; Constant7_1_2 : int; Constant7_1_3 : int;

	Constant8_1_1 : int; Constant8_1_2 : int; Constant8_1_3 : int; Constant8_1_4 : int; Constant8_1_5 : int; Constant8_1_6 : int;

	i_virtual_local : real;

let 

	Assignment_1_1 = In1_1_1;

	Assignment_1_2 = Constant1_1_1;

	Assignment_1_3 = In1_1_3;

	Assignment_1_4 = In1_1_4;

	Assignment_1_5 = Constant1_1_1;

	Assignment_1_6 = In1_1_6;

	Assignment1_1_1 = In2_1_1;

	Assignment1_1_2 = Constant3_1_1;

	Assignment1_1_3 = In2_1_3;

	Assignment1_1_4 = In2_1_4;

	Assignment1_1_5 = Constant3_1_1;

	Assignment1_1_6 = In2_1_6;

	Assignment2_1_1 = In3_1_1;

	Assignment2_1_2 = Constant5_1_1;

	Assignment2_1_3 = In3_1_3;

	Assignment2_1_4 = In3_1_4;

	Assignment2_1_5 = Constant5_1_1;

	Assignment2_1_6 = In3_1_6;

	Assignment3_1_1 = Constant2_1_1;

	Assignment3_1_2 = Constant2_1_1;

	Assignment3_1_3 = In4_1_3;

	Assignment4_1_1 = In5_1_1;

	Assignment4_1_2 = In5_1_2;

	Assignment4_1_3 = Constant4_1_1;

	Assignment5_1_1 = Constant6_1_1;

	Assignment5_1_2 = In6_1_2;

	Assignment5_1_3 = In6_1_3;

	Assignment6_1_1 = Constant7_1_1;

	Assignment6_1_2 = Constant7_1_2;

	Assignment6_1_3 = Constant7_1_3;

	Assignment7_1_1 = Constant8_1_1;

	Assignment7_1_2 = Constant8_1_2;

	Assignment7_1_3 = Constant8_1_3;

	Assignment7_1_4 = Constant8_1_4;

	Assignment7_1_5 = Constant8_1_5;

	Assignment7_1_6 = Constant8_1_6;

	Constant1_1_1 = 12.00000000;

	Constant2_1_1 = 12.00000000;

	Constant3_1_1 = true;

	Constant4_1_1 = true;

	Constant5_1_1 = 12;

	Constant6_1_1 = 12;

	Constant7_1_1 = 2;

	Constant7_1_2 = 3;

	Constant7_1_3 = 4;

	Constant8_1_1 = 2;

	Constant8_1_2 = 3;

	Constant8_1_3 = 4;

	Constant8_1_4 = 5;

	Constant8_1_5 = 6;

	Constant8_1_6 = 7;

	Out1_1_1 = Assignment_1_1;

	Out1_1_2 = Assignment_1_2;

	Out1_1_3 = Assignment_1_3;

	Out1_1_4 = Assignment_1_4;

	Out1_1_5 = Assignment_1_5;

	Out1_1_6 = Assignment_1_6;

	Out2_2_1 = Assignment1_1_1;

	Out2_2_2 = Assignment1_1_2;

	Out2_2_3 = Assignment1_1_3;

	Out2_2_4 = Assignment1_1_4;

	Out2_2_5 = Assignment1_1_5;

	Out2_2_6 = Assignment1_1_6;

	Out3_3_1 = Assignment2_1_1;

	Out3_3_2 = Assignment2_1_2;

	Out3_3_3 = Assignment2_1_3;

	Out3_3_4 = Assignment2_1_4;

	Out3_3_5 = Assignment2_1_5;

	Out3_3_6 = Assignment2_1_6;

	Out4_4_1 = Assignment3_1_1;

	Out4_4_2 = Assignment3_1_2;

	Out4_4_3 = Assignment3_1_3;

	Out5_5_1 = Assignment4_1_1;

	Out5_5_2 = Assignment4_1_2;

	Out5_5_3 = Assignment4_1_3;

	Out6_6_1 = Assignment5_1_1;

	Out6_6_2 = Assignment5_1_2;

	Out6_6_3 = Assignment5_1_3;

	Out7_7_1 = Assignment6_1_1;

	Out7_7_2 = Assignment6_1_2;

	Out7_7_3 = Assignment6_1_3;

	Out8_8_1 = Assignment7_1_1;

	Out8_8_2 = Assignment7_1_2;

	Out8_8_3 = Assignment7_1_3;

	Out8_8_4 = Assignment7_1_4;

	Out8_8_5 = Assignment7_1_5;

	Out8_8_6 = Assignment7_1_6;

	i_virtual_local= 0.0 -> 1.0;

tel