3 type Value_Number_Kind
is
7 Initial_External_Kappa_VN
,
10 Multi_Target_Call_Kappa_VN
,
11 Final_Value_Of_Seq_Kappa_VN
,
14 subtype Kappa_VN
is Value_Number_Kind
15 range Initial_External_Kappa_VN
.. Block_Kappa_VN
;
17 type Value_Number_Id
is new Positive;
19 type Kappa_Component_Rec
;
21 type Kappa_Component_Ptr
is access Kappa_Component_Rec
;
23 type Kappa_Component_Rec
is record
24 Content_VN
: Value_Number_Id
;
25 Next
: Kappa_Component_Ptr
;
28 type Value_Number_Rec
(Kind
: Value_Number_Kind
) is record
31 when Int_Literal_VN
=>
34 Old_Value
: Kappa_Component_Rec
;
35 Possible_New_Values
: Kappa_Component_Ptr
;
36 Use_Default
: Boolean;
42 type Value_Number
is access all Value_Number_Rec
;
44 function VN_Complexity
(Val
: Value_Number
; N
: Natural) return Natural;