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;