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  | 

