(TranslationUnit
(SymbolTable
1
{
template_05:
(Program
(SymbolTable
16
{
integer_minus:
(Function
(SymbolTable
27
{
r:
(Variable
27
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
27
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
27
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
integer_minus
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[~sub_intrinsic]
[(Var 27 x)
(Var 27 y)]
[(Assignment
(Var 27 r)
(FunctionCall
16 ~sub_intrinsic
()
[((Var 27 x))
((Var 27 y))]
(Integer 4)
()
()
)
()
.false.
.false.
)]
(Var 27 r)
Public
.false.
.false.
()
),
integer_plus:
(Function
(SymbolTable
18
{
r:
(Variable
18
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
18
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
18
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
integer_plus
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[~add_intrinsic]
[(Var 18 x)
(Var 18 y)]
[(Assignment
(Var 18 r)
(FunctionCall
16 ~add_intrinsic
()
[((Var 18 x))
((Var 18 y))]
(Integer 4)
()
()
)
()
.false.
.false.
)]
(Var 18 r)
Public
.false.
.false.
()
),
integer_tmp_minus:
(Template
(SymbolTable
19
{
g_minus:
(Function
(SymbolTable
20
{
r:
(Variable
20
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
20
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
20
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
g_minus
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[minus]
[(Var 20 x)
(Var 20 y)]
[(Assignment
(Var 20 r)
(FunctionCall
19 minus
()
[((Var 20 x))
((Var 20 y))]
(Integer 4)
()
()
)
()
.false.
.false.
)]
(Var 20 r)
Public
.false.
.false.
()
),
minus:
(Function
(SymbolTable
21
{
r:
(Variable
21
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
21
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
21
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
minus
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 21 x)
(Var 21 y)]
[]
(Var 21 r)
Public
.false.
.false.
()
),
t:
(Variable
19
t
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_mult:
(Template
(SymbolTable
22
{
mult:
(Function
(SymbolTable
23
{
r:
(Variable
23
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
23
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
23
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
mult
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 23 x)
(Var 23 y)]
[]
(Var 23 r)
Public
.false.
.false.
()
),
t:
(Variable
22
t
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_div:
(Template
(SymbolTable
24
{
div:
(Function
(SymbolTable
25
{
r:
(Variable
25
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
25
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
25
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
div
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 25 x)
(Var 25 y)]
[]
(Var 25 r)
Public
.false.
.false.
()
),
t:
(Variable
24
t
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
tmp_div
[div]
[(Require
req
[t
div]
)]
)
})
tmp_mult
[mult]
[(Require
req
[t
mult]
)]
)
})
integer_tmp_minus
[minus]
[(Require
req
[t
minus]
)
(Require
req
[t
plus]
)]
),
integer_tmp_mult:
(Template
(SymbolTable
28
{
mult:
(Function
(SymbolTable
29
{
r:
(Variable
29
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
29
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
29
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
mult
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 29 x)
(Var 29 y)]
[]
(Var 29 r)
Public
.false.
.false.
()
),
t:
(Variable
28
t
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_div:
(Template
(SymbolTable
30
{
div:
(Function
(SymbolTable
31
{
r:
(Variable
31
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
31
x
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
31
y
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
div
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 31 x)
(Var 31 y)]
[]
(Var 31 r)
Public
.false.
.false.
()
),
t:
(Variable
30
t
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
tmp_div
[div]
[(Require
req
[t
div]
)]
)
})
integer_tmp_mult
[mult]
[(Require
req
[t
mult]
)]
),
real_minus:
(Function
(SymbolTable
42
{
r:
(Variable
42
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
42
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
42
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
real_minus
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[~sub_intrinsic1]
[(Var 42 x)
(Var 42 y)]
[(Assignment
(Var 42 r)
(FunctionCall
16 ~sub_intrinsic1
()
[((Var 42 x))
((Var 42 y))]
(Real 4)
()
()
)
()
.false.
.false.
)]
(Var 42 r)
Public
.false.
.false.
()
),
real_plus:
(Function
(SymbolTable
33
{
r:
(Variable
33
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
33
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
33
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
real_plus
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[~add_intrinsic1]
[(Var 33 x)
(Var 33 y)]
[(Assignment
(Var 33 r)
(FunctionCall
16 ~add_intrinsic1
()
[((Var 33 x))
((Var 33 y))]
(Real 4)
()
()
)
()
.false.
.false.
)]
(Var 33 r)
Public
.false.
.false.
()
),
real_tmp_minus:
(Template
(SymbolTable
34
{
g_minus:
(Function
(SymbolTable
35
{
r:
(Variable
35
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
35
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
35
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
g_minus
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[minus]
[(Var 35 x)
(Var 35 y)]
[(Assignment
(Var 35 r)
(FunctionCall
34 minus
()
[((Var 35 x))
((Var 35 y))]
(Real 4)
()
()
)
()
.false.
.false.
)]
(Var 35 r)
Public
.false.
.false.
()
),
minus:
(Function
(SymbolTable
36
{
r:
(Variable
36
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
36
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
36
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
minus
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 36 x)
(Var 36 y)]
[]
(Var 36 r)
Public
.false.
.false.
()
),
t:
(Variable
34
t
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_mult:
(Template
(SymbolTable
37
{
mult:
(Function
(SymbolTable
38
{
r:
(Variable
38
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
38
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
38
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
mult
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 38 x)
(Var 38 y)]
[]
(Var 38 r)
Public
.false.
.false.
()
),
t:
(Variable
37
t
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_div:
(Template
(SymbolTable
39
{
div:
(Function
(SymbolTable
40
{
r:
(Variable
40
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
40
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
40
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
div
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 40 x)
(Var 40 y)]
[]
(Var 40 r)
Public
.false.
.false.
()
),
t:
(Variable
39
t
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
tmp_div
[div]
[(Require
req
[t
div]
)]
)
})
tmp_mult
[mult]
[(Require
req
[t
mult]
)]
)
})
real_tmp_minus
[minus]
[(Require
req
[t
minus]
)
(Require
req
[t
plus]
)]
),
real_tmp_mult:
(Template
(SymbolTable
43
{
mult:
(Function
(SymbolTable
44
{
r:
(Variable
44
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
44
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
44
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
mult
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 44 x)
(Var 44 y)]
[]
(Var 44 r)
Public
.false.
.false.
()
),
t:
(Variable
43
t
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_div:
(Template
(SymbolTable
45
{
div:
(Function
(SymbolTable
46
{
r:
(Variable
46
r
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
46
x
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
46
y
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
div
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 46 x)
(Var 46 y)]
[]
(Var 46 r)
Public
.false.
.false.
()
),
t:
(Variable
45
t
[]
In
()
()
Default
(Real 4)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
tmp_div
[div]
[(Require
req
[t
div]
)]
)
})
real_tmp_mult
[mult]
[(Require
req
[t
mult]
)]
),
req:
(ExternalSymbol
16
req
2 req
template_05_m
[]
req
Public
),
tmp:
(ExternalSymbol
16
tmp
2 tmp
template_05_m
[]
tmp
Public
),
~add:
(CustomOperator
16
~add
[16 ~add_intrinsic
16 ~add_intrinsic1]
Public
),
~add_intrinsic:
(Function
(SymbolTable
17
{
arg0:
(Variable
17
arg0
[]
In
()
()
Default
(Integer 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
arg1:
(Variable
17
arg1
[]
In
()
()
Default
(Integer 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
ret:
(Variable
17
ret
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
~add_intrinsic
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 17 arg0)
(Var 17 arg1)]
[(Assignment
(Var 17 ret)
(IntegerBinOp
(Var 17 arg0)
Add
(Var 17 arg1)
(Integer 4)
()
)
()
.false.
.false.
)]
(Var 17 ret)
Public
.false.
.true.
()
),
~add_intrinsic1:
(Function
(SymbolTable
32
{
arg0:
(Variable
32
arg0
[]
In
()
()
Default
(Real 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
arg1:
(Variable
32
arg1
[]
In
()
()
Default
(Real 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
ret:
(Variable
32
ret
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
~add_intrinsic1
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 32 arg0)
(Var 32 arg1)]
[(Assignment
(Var 32 ret)
(RealBinOp
(Var 32 arg0)
Add
(Var 32 arg1)
(Real 4)
()
)
()
.false.
.false.
)]
(Var 32 ret)
Public
.false.
.true.
()
),
~sub:
(CustomOperator
16
~sub
[16 ~sub_intrinsic
16 ~sub_intrinsic1]
Public
),
~sub_intrinsic:
(Function
(SymbolTable
26
{
arg0:
(Variable
26
arg0
[]
In
()
()
Default
(Integer 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
arg1:
(Variable
26
arg1
[]
In
()
()
Default
(Integer 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
ret:
(Variable
26
ret
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
~sub_intrinsic
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 26 arg0)
(Var 26 arg1)]
[(Assignment
(Var 26 ret)
(IntegerBinOp
(Var 26 arg0)
Sub
(Var 26 arg1)
(Integer 4)
()
)
()
.false.
.false.
)]
(Var 26 ret)
Public
.false.
.true.
()
),
~sub_intrinsic1:
(Function
(SymbolTable
41
{
arg0:
(Variable
41
arg0
[]
In
()
()
Default
(Real 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
arg1:
(Variable
41
arg1
[]
In
()
()
Default
(Real 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
),
ret:
(Variable
41
ret
[]
ReturnVar
()
()
Default
(Real 4)
()
Source
Private
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
~sub_intrinsic1
(FunctionType
[(Real 4)
(Real 4)]
(Real 4)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 41 arg0)
(Var 41 arg1)]
[(Assignment
(Var 41 ret)
(RealBinOp
(Var 41 arg0)
Sub
(Var 41 arg1)
(Real 4)
()
)
()
.false.
.false.
)]
(Var 41 ret)
Public
.false.
.true.
()
)
})
template_05
[template_05_m]
[]
),
template_05_m:
(Module
(SymbolTable
2
{
req:
(Requirement
(SymbolTable
3
{
op:
(Function
(SymbolTable
4
{
r:
(Variable
4
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
4
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
4
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
op
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.true.
)
[]
[(Var 4 x)
(Var 4 y)]
[]
(Var 4 r)
Public
.false.
.false.
()
),
t:
(Variable
3
t
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
req
[t
op]
[]
),
tmp:
(Template
(SymbolTable
5
{
g_plus:
(Function
(SymbolTable
15
{
r:
(Variable
15
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
15
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
15
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
g_plus
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[plus]
[(Var 15 x)
(Var 15 y)]
[(Assignment
(Var 15 r)
(FunctionCall
5 plus
()
[((Var 15 x))
((Var 15 y))]
(TypeParameter
t
)
()
()
)
()
.false.
.false.
)]
(Var 15 r)
Public
.false.
.false.
()
),
plus:
(Function
(SymbolTable
6
{
r:
(Variable
6
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
6
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
6
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
plus
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.true.
)
[]
[(Var 6 x)
(Var 6 y)]
[]
(Var 6 r)
Public
.false.
.false.
()
),
t:
(Variable
5
t
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_minus:
(Template
(SymbolTable
7
{
g_minus:
(Function
(SymbolTable
14
{
r:
(Variable
14
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
14
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
14
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
g_minus
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[minus]
[(Var 14 x)
(Var 14 y)]
[(Assignment
(Var 14 r)
(FunctionCall
7 minus
()
[((Var 14 x))
((Var 14 y))]
(TypeParameter
t
)
()
()
)
()
.false.
.false.
)]
(Var 14 r)
Public
.false.
.false.
()
),
minus:
(Function
(SymbolTable
8
{
r:
(Variable
8
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
8
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
8
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
minus
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.true.
)
[]
[(Var 8 x)
(Var 8 y)]
[]
(Var 8 r)
Public
.false.
.false.
()
),
plus:
(Function
(SymbolTable
9
{
r:
(Variable
9
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
9
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
9
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
plus
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.true.
)
[]
[(Var 9 x)
(Var 9 y)]
[]
(Var 9 r)
Public
.false.
.false.
()
),
t:
(Variable
7
t
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_mult:
(Template
(SymbolTable
10
{
mult:
(Function
(SymbolTable
11
{
r:
(Variable
11
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
11
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
11
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
mult
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.true.
)
[]
[(Var 11 x)
(Var 11 y)]
[]
(Var 11 r)
Public
.false.
.false.
()
),
t:
(Variable
10
t
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
tmp_div:
(Template
(SymbolTable
12
{
div:
(Function
(SymbolTable
13
{
r:
(Variable
13
r
[]
ReturnVar
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
x:
(Variable
13
x
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
),
y:
(Variable
13
y
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
div
(FunctionType
[(TypeParameter
t
)
(TypeParameter
t
)]
(TypeParameter
t
)
Source
Implementation
()
.true.
.false.
.false.
.false.
.false.
[]
.true.
)
[]
[(Var 13 x)
(Var 13 y)]
[]
(Var 13 r)
Public
.false.
.false.
()
),
t:
(Variable
12
t
[]
In
()
()
Default
(TypeParameter
t
)
()
Source
Public
Required
.false.
.false.
.false.
()
.false.
.false.
)
})
tmp_div
[div]
[(Require
req
[t
div]
)]
)
})
tmp_mult
[mult]
[(Require
req
[t
mult]
)]
)
})
tmp_minus
[minus]
[(Require
req
[t
minus]
)
(Require
req
[t
plus]
)]
)
})
tmp
[t
plus]
[(Require
req
[t
plus]
)]
)
})
template_05_m
()
[template_05_m]
.false.
.false.
.false.
)
})
[]
)
|
