CristalCaveGem » LustreC » Lustrec-Tests

-- This file has been generated by CoCoSim2.

-- Compiler: Lustre compiler 2 (ToLustre.m)

-- Time: 03-Dec-2018 22:00:57

(*

Original block name: assignment_test_PP

*)

node  assignment_test_PP(In1_1 : real;

	In1_2 : real;

	In1_3 : real;

	In1_4 : real;

	In1_5 : real;

	In1_6 : real;

	In2_1 : bool;

	In2_2 : bool;

	In2_3 : bool;

	In2_4 : bool;

	In2_5 : bool;

	In2_6 : bool;

	In3_1 : int;

	In3_2 : int;

	In3_3 : int;

	In3_4 : int;

	In3_5 : int;

	In3_6 : int;

	In5_1 : bool;

	In5_2 : bool;

	In5_3 : bool;

	In6_1 : int;

	In6_2 : int;

	In6_3 : int;

	In7_1 : int;

	In7_2 : int;

	In7_3 : int;

	In8_1 : int;

	In8_2 : int;

	In8_3 : int;

	In8_4 : int;

	In8_5 : int;

	In8_6 : int;)

returns(Out1_1 : real;

	Out1_2 : real;

	Out1_3 : real;

	Out1_4 : real;

	Out1_5 : real;

	Out1_6 : real;

	Out2_1 : bool;

	Out2_2 : bool;

	Out2_3 : bool;

	Out2_4 : bool;

	Out2_5 : bool;

	Out2_6 : bool;

	Out3_1 : int;

	Out3_2 : int;

	Out3_3 : int;

	Out3_4 : int;

	Out3_5 : int;

	Out3_6 : int;

	Out5_1 : bool;

	Out5_2 : bool;

	Out5_3 : bool;

	Out6_1 : int;

	Out6_2 : int;

	Out6_3 : int;

	Out7_1 : int;

	Out7_2 : int;

	Out7_3 : int;

	Out8_1 : int;

	Out8_2 : int;

	Out8_3 : int;

	Out8_4 : int;

	Out8_5 : int;

	Out8_6 : int;);

var Assignment_1 : real;

	Assignment_2 : real;

	Assignment_3 : real;

	Assignment_4 : real;

	Assignment_5 : real;

	Assignment_6 : real;

	Assignment1_1 : bool;

	Assignment1_2 : bool;

	Assignment1_3 : bool;

	Assignment1_4 : bool;

	Assignment1_5 : bool;

	Assignment1_6 : bool;

	Assignment2_1 : int;

	Assignment2_2 : int;

	Assignment2_3 : int;

	Assignment2_4 : int;

	Assignment2_5 : int;

	Assignment2_6 : int;

	Assignment4_1 : bool;

	Assignment4_2 : bool;

	Assignment4_3 : bool;

	Assignment5_1 : int;

	Assignment5_2 : int;

	Assignment5_3 : int;

	Assignment6_1 : int;

	Assignment6_2 : int;

	Assignment6_3 : int;

	Assignment7_1 : int;

	Assignment7_2 : int;

	Assignment7_3 : int;

	Assignment7_4 : int;

	Assignment7_5 : int;

	Assignment7_6 : int;

	Constant1_1 : real;

	Constant3_1 : bool;

	Constant4_1 : bool;

	Constant5_1 : int;

	Constant6_1 : int;

	Constant7_1 : int;

	Constant7_2 : int;

	Constant7_3 : int;

	Constant8_1 : int;

	Constant8_2 : int;

	Constant8_3 : int;

	Constant8_4 : int;

	Constant8_5 : int;

	Constant8_6 : int;

	__time_step : real;

	__nb_step : int;

let

	Assignment_1 = In1_1;

	Assignment_2 = In1_2;

	Assignment_3 = Constant1_1;

	Assignment_4 = Constant1_1;

	Assignment_5 = In1_5;

	Assignment_6 = In1_6;

	Assignment1_1 = In2_1;

	Assignment1_2 = In2_2;

	Assignment1_3 = Constant3_1;

	Assignment1_4 = Constant3_1;

	Assignment1_5 = In2_5;

	Assignment1_6 = In2_6;

	Assignment2_1 = In3_1;

	Assignment2_2 = In3_2;

	Assignment2_3 = Constant5_1;

	Assignment2_4 = Constant5_1;

	Assignment2_5 = In3_5;

	Assignment2_6 = In3_6;

	Assignment4_1 = In5_1;

	Assignment4_2 = In5_2;

	Assignment4_3 = Constant4_1;

	Assignment5_1 = Constant6_1;

	Assignment5_2 = In6_2;

	Assignment5_3 = In6_3;

	Assignment6_1 = Constant7_1;

	Assignment6_2 = Constant7_2;

	Assignment6_3 = Constant7_3;

	Assignment7_1 = Constant8_1;

	Assignment7_2 = Constant8_2;

	Assignment7_3 = Constant8_3;

	Assignment7_4 = Constant8_4;

	Assignment7_5 = Constant8_5;

	Assignment7_6 = Constant8_6;

	Constant1_1 = 12.000000000000000;

	Constant3_1 = true;

	Constant4_1 = true;

	Constant5_1 = 12;

	Constant6_1 = 12;

	Constant7_1 = 2;

	Constant7_2 = 3;

	Constant7_3 = 4;

	Constant8_1 = 2;

	Constant8_2 = 5;

	Constant8_3 = 3;

	Constant8_4 = 6;

	Constant8_5 = 4;

	Constant8_6 = 7;

	Out1_1 = Assignment_1;

	Out1_2 = Assignment_2;

	Out1_3 = Assignment_3;

	Out1_4 = Assignment_4;

	Out1_5 = Assignment_5;

	Out1_6 = Assignment_6;

	Out2_1 = Assignment1_1;

	Out2_2 = Assignment1_2;

	Out2_3 = Assignment1_3;

	Out2_4 = Assignment1_4;

	Out2_5 = Assignment1_5;

	Out2_6 = Assignment1_6;

	Out3_1 = Assignment2_1;

	Out3_2 = Assignment2_2;

	Out3_3 = Assignment2_3;

	Out3_4 = Assignment2_4;

	Out3_5 = Assignment2_5;

	Out3_6 = Assignment2_6;

	Out5_1 = Assignment4_1;

	Out5_2 = Assignment4_2;

	Out5_3 = Assignment4_3;

	Out6_1 = Assignment5_1;

	Out6_2 = Assignment5_2;

	Out6_3 = Assignment5_3;

	Out7_1 = Assignment6_1;

	Out7_2 = Assignment6_2;

	Out7_3 = Assignment6_3;

	Out8_1 = Assignment7_1;

	Out8_2 = Assignment7_2;

	Out8_3 = Assignment7_3;

	Out8_4 = Assignment7_4;

	Out8_5 = Assignment7_5;

	Out8_6 = Assignment7_6;

	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));

	__nb_step = (0 -> ((pre __nb_step) + 1));

tel