Home
last modified time | relevance | path

Searched refs:Transitive_Closure_Done (Results 1 – 3 of 3) sorted by relevance

/dports/lang/asis/asis-gpl-2016-src/tools/tool_utils/
H A Dasis_ul-global_state-cg.ads201 function Transitive_Closure_Done return Boolean; subprogspec
H A Dasis_ul-global_state-cg.adb2144 function Transitive_Closure_Done return Boolean is subprogram
2147 end Transitive_Closure_Done;
/dports/lang/asis/asis-gpl-2016-src/tools/gnatcheck/
H A Dgnatcheck-rules-global.adb286 if not Transitive_Closure_Done