UModelAPI - IUMLStateInvariant
Operation IUMLStateInvariant::Covered
parameter |
|
Operation IUMLStateInvariant::Invariant
parameter |
|
Operation IUMLStateInvariant::SetNewInvariant
parameter |
|
UML documentation generated by UModel UML Editor https://www.altova.com/umodel | Wed Jan 27 07:46:44 2021 |