MAll: isContractOf for PatternTest (easier contract checks for MTools) 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)
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)