Home
last modified time | relevance | path

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

/dports/devel/matreshka/matreshka-0.7.0/source/amf/uml/
H A Damf-uml-state_invariants.ads88 not overriding procedure Set_Invariant subprogram
H A Damf-internals-uml_state_invariants.adb150 overriding procedure Set_Invariant subprogram
H A Damf-internals-uml_state_invariants.ads85 overriding procedure Set_Invariant subprogspec