Name | Status | Type | Time(s) |
toGenericString_rightUnidirectional | Success | | 0.001 |
CheckAssociations | Success | | 0.000 |
isImmutable | Success | | 0.000 |
toGenericString_noDirectional | Success | | 0.001 |
whoIsInvalid | Success | | 0.000 |
toGenericString | Success | | 0.001 |
toGenericString_leftUnidirectional | Success | | 0.000 |
hasRightCompositionArrows | Success | | 0.000 |
toGenericString_nToM | Success | | 0.001 |
isValid_uniDirectionalReflexetionNeedNotHaveLowerBoundOfZero | Success | | 0.000 |
isValid_assumeUnderlyingMultiplityOk | Success | | 0.000 |
isValid_reflexetionMustHaveLowerBoundOfZero | Success | | 0.000 |
isComposition | Success | | 0.000 |
isValid_okay | Success | | 0.000 |