Searched refs:RP_Id (Results 1 – 2 of 2) sorted by relevance
8271 RP_Id : Restriction_Parameter_Id; variable8345 RP_Id := Get_Restriction_Parameter_Id (Id);8348 if RP_Id = Not_A_Restriction_Parameter_Id then8370 if Restriction_Parameters (RP_Id) = No_Uint8371 or else Val < Restriction_Parameters (RP_Id)8373 Restriction_Parameters (RP_Id) := Val;8374 Restriction_Parameters_Loc (RP_Id) := Sloc (N);