Searched refs:Visited_Bodies_In_Use (Results 1 – 9 of 9) sorted by relevance
1024 Visited_Bodies_In_Use : Boolean := False; variable7586 if Visited_Bodies_In_Use then10846 if Visited_Bodies_In_Use then10847 Visited_Bodies_In_Use := False;10928 Visited_Bodies_In_Use := True;
1099 Visited_Bodies_In_Use : Boolean := False; variable7604 if Visited_Bodies_In_Use then10940 if Visited_Bodies_In_Use then10941 Visited_Bodies_In_Use := False;11022 Visited_Bodies_In_Use := True;
1024 Visited_Bodies_In_Use : Boolean := False; variable7576 if Visited_Bodies_In_Use then10836 if Visited_Bodies_In_Use then10837 Visited_Bodies_In_Use := False;10918 Visited_Bodies_In_Use := True;
1099 Visited_Bodies_In_Use : Boolean := False; variable7594 if Visited_Bodies_In_Use then10930 if Visited_Bodies_In_Use then10931 Visited_Bodies_In_Use := False;11012 Visited_Bodies_In_Use := True;