Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / arrays_arnaud / RelOpMatrix.lus @ b3381ae8

History | View | Annotate | Download (567 Bytes)

1
#open "dummy_lib"
2

    
3
const RelOpMatrix_Constant_Value = 1.1 ;
4

    
5

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