Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • multi-task
  • lustre-mt_omp
  • add-multi-generation
  • pascal01
  • take-reset-pragma-into-account
  • 6-can-not-iterate-over-the-plus-node-as-long-as-it-is-named-plus
  • tmp
  • previously_on_no_branch
  • new_branch_name
  • u0
  • solve_ident
  • v6.111.3
  • v6.111.2
  • v6.111.1
  • v6.111.0
  • v6.110.3
  • v6.110.2
  • v6.110.1
  • v6.110.0
  • v6.109.1
  • v6.109.0
  • v6.108.0
  • v6.107.4
  • v6.107.3
  • v6.107.2
  • v6.107.1
  • v6.107.0
  • v6.106.1
  • v6.106.0
  • v6.105.1
  • v6.105.0
32 results
Blame Permalink
lustre.lus 2.03 KiB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54 







-- This package provides prefix version of predefined infix operators
--
--
-- nb : note we did not define polymorphic operators here (e.g., '>'), 
-- as we cannot define polymorphic nodes in lustre.

package Lustre
  provides 
    function And(x, y: bool) returns (z: bool);
    function Or(x, y: bool) returns (z: bool);
    function Xor(x, y: bool) returns (z: bool);
    function Impl(x, y: bool) returns (z: bool);

    function Div(x, y: int) returns (z: int);
    function Mod(x, y: int) returns (z: int);
    function Iplus(x, y: int) returns (z: int);
    function Iminus(x, y: int) returns (z: int);
    function Itimes(x, y: int) returns (z: int);
    function Islash(x, y: int) returns (z: int);
    function Iuminus(x: int) returns (z: int);

    function Rplus(x, y: real) returns (z: real);
    function Rminus(x, y: real) returns (z: real);
    function Rtimes(x, y: real) returns (z: real);
    function Rslash(x, y: real) returns (z: real);
    function Ruminus(x: real) returns (z: real);

body        
   

   function And = Lustre::and;
   function Or(x, y: bool) returns (z: bool); let z = x or y; tel
   function Xor(x, y: bool) returns (z: bool); let z = x xor y; tel
   function Impl(x, y: bool) returns (z: bool); let z = x => y; tel
  
   function Div(x, y: int) returns (z: int); let z = x div y; tel
   function Mod(x, y: int) returns (z: int); let z = x mod y; tel
   function Iplus(x, y: int) returns (z: int); let z = x + y; tel
   function Iminus(x, y: int) returns (z: int); let z = x - y; tel
   function Itimes(x, y: int) returns (z: int); let z = x * y; tel
   function Islash(x, y: int) returns (z: int); let z = x / y; tel
   function Iuminus(x: int) returns (z: int); let z = -x; tel
  
   function Rplus(x, y: real) returns (z: real); let z = x + y; tel
   function Rminus(x, y: real) returns (z: real); let z = x - y; tel
   function Rtimes(x, y: real) returns (z: real); let z = x * y; tel
   function Rslash(x, y: real) returns (z: real); let z = x / y; tel
   function Ruminus(x: real) returns (z: real); let z = -x; tel
  

end