Searched refs:Visited_Bodies_No_Element (Results 1 – 9 of 9) sorted by last modified time
1103 Visited_Bodies_No_Element : constant Boolean := False; constant1108 No_Element => Visited_Bodies_No_Element,7608 return Visited_Bodies_No_Element;
1028 Visited_Bodies_No_Element : constant Boolean := False; constant1033 No_Element => Visited_Bodies_No_Element,7590 return Visited_Bodies_No_Element;
1103 Visited_Bodies_No_Element : constant Boolean := False; constant1108 No_Element => Visited_Bodies_No_Element,7598 return Visited_Bodies_No_Element;
1028 Visited_Bodies_No_Element : constant Boolean := False; constant1033 No_Element => Visited_Bodies_No_Element,7580 return Visited_Bodies_No_Element;