Home
last modified time | relevance | path

Searched defs:Get_Pre_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.ads88 not overriding function Get_Pre_Condition subprogram
99 not overriding procedure Set_Pre_Condition
H A Damf-internals-uml_protocol_transitions.adb141 overriding function Get_Pre_Condition subprogram
H A Damf-internals-uml_protocol_transitions.ads93 overriding function Get_Pre_Condition subprogspec