| toString() |  | 0% | | 0% | 10 | 10 | 11 | 11 | 1 | 1 |
| getDynamicType(SymbolicUniverse) |  | 24% | | 25% | 2 | 3 | 1 | 3 | 0 | 1 |
| isCharType() | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| setPrimitiveType(CIVLPrimitiveType.PrimitiveTypeKind) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDynamicType(SymbolicType) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getSizeof() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getFacts() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isBoolType() | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| isNumericType() | | 92% | | 75% | 1 | 3 | 0 | 1 | 0 | 1 |
| CommonPrimitiveType(CIVLPrimitiveType.PrimitiveTypeKind, SymbolicType, NumericExpression, BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| isIntegerType() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isRealType() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isProcessType() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isScopeType() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isVoidType() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| primitiveTypeKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| hasState() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |