|
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
|