Home
last modified time | relevance | path

Searched defs:Get_Post_Condition (Results 1 – 3 of 3) sorted by relevance

/dports/devel/matreshka/matreshka-0.7.0/source/amf/uml/
H A Damf-uml-protocol_transitions.ads68 not overriding function Get_Post_Condition subprogram
78 not overriding procedure Set_Post_Condition
H A Damf-internals-uml_protocol_transitions.adb112 overriding function Get_Post_Condition subprogram
H A Damf-internals-uml_protocol_transitions.ads73 overriding function Get_Post_Condition subprogspec