Searched refs:Subp_Is_Stable_Property_Function (Results 1 – 4 of 4) sorted by relevance
2136 Subp_Is_Stable_Property_Function : constant Boolean := constant2139 if not Subp_Is_Stable_Property_Function then
2251 Subp_Is_Stable_Property_Function : constant Boolean := constant2254 if not Subp_Is_Stable_Property_Function then