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 | Tue Oct 24 12:26:31 2023 |