The MAll class has a self-tester GUI (for DEVELOPMENT use only) Gallery Tutorial [TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models. Section SECTION: The Webel MAll & MOptsSet classes MTools extensions (with SysMLv1 models)
MAll: Methods related to classes and contracts: Example: MDemoAll: From the MAll self-test GUI Gallery Tutorial [TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models. Section SECTION: The Webel MAll & MOptsSet classes MTools extensions (with SysMLv1 models) Slide kind SysML Block Definition Diagram (BDD)