Searched refs:First_Choice_Node_Id (Results 1 – 9 of 9) sorted by relevance
56 First_Choice_Node_Id : constant Choice_Node_Id := constant62 Table_Low_Bound => First_Choice_Node_Id,267 Choices.Set_Last (First_Choice_Node_Id);1049 Choices.Set_Last (First_Choice_Node_Id);
56 First_Choice_Node_Id : constant Choice_Node_Id := constant63 Table_Low_Bound => First_Choice_Node_Id,300 First_Non_Used : Choice_Node_Id := First_Choice_Node_Id;342 Choices.Set_Last (First_Choice_Node_Id);1254 Choices.Set_Last (First_Choice_Node_Id);
56 First_Choice_Node_Id : constant Choice_Node_Id := constant63 Table_Low_Bound => First_Choice_Node_Id,318 First_Non_Used : Choice_Node_Id := First_Choice_Node_Id;369 Choices.Set_Last (First_Choice_Node_Id);1293 Choices.Set_Last (First_Choice_Node_Id);
59 First_Choice_Node_Id : constant Choice_Node_Id := constant66 Table_Low_Bound => First_Choice_Node_Id,319 First_Non_Used : Choice_Node_Id := First_Choice_Node_Id;370 Choices.Set_Last (First_Choice_Node_Id);1301 Choices.Set_Last (First_Choice_Node_Id);