Page last modified 10:46, 2 Mar 2018 by Antero Logical operator: implies Table of contentsThis page's content is now located at User_Guides/Studio/5:_OCL_Rules/Available_methods_for_OCL_base_types/Logical_operator:_implies.