| isRealType() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isIncompleteArrayType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isCharType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isEnumerationType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isDomainType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| toString() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| scopeValueToIdentityOperator(SymbolicUniverse) |  | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| CommonScopeType(NumericExpression, BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| scopeIdentityToValueOperator(SymbolicUniverse) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| getDynamicType(SymbolicUniverse) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| typeKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isNumericType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isIntegerType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isPointerType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isProcessType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isStateType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isScopeType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isVoidType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isHeapType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isBundleType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isStructType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isUnionType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isArrayType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isBoolType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |