Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / arrays_arnaud / RelOpMatrix.lus @ 22fe1c93

History | View | Annotate | Download (649 Bytes)

1
const RelOpMatrix_Constant_Value = 1.1 ;
2

    
3
function _Vect_Leqt_real (
4
	const n : int ;
5
	in : real^n ;
6
	in2 : real^n)
7
returns (
8
	out : bool^n) ;
9

    
10
node RelOpMatrix (
11
	In1_Out1_11 : real^2)
12
returns (
13
	Out1_In1_37 : bool^2) ;
14
var
15
	RelationalOperator_Out1_25 : bool^2 ;
16
	RelationalOperator_In1_23 : real^2 ;
17
	RelationalOperator_In2_24 : real^2 ;
18
let
19
	RelationalOperator_Out1_25 = _Vect_Leqt_real (2, RelationalOperator_In1_23, RelationalOperator_In2_24) ;
20
	RelationalOperator_In1_23 = In1_Out1_11 ;
21
RelationalOperator_In2_24 = [ RelOpMatrix_Constant_Value, RelOpMatrix_Constant_Value ] ;
22
	Out1_In1_37 = RelationalOperator_Out1_25 ;
23
	--! MAIN : true ;
24
tel