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 | Fri Oct 20 08:49:11 2023 |