| 1 |
604d5b37
|
ploc
|
#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
|