| isNumericType() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| 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 |
| isBoolType() | | 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 |
| buildStateValue(SymbolicUniverse, int, SymbolicExpression) |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| CommonCIVLStateType(SymbolicType, NumericExpression, BooleanExpression) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| selectStateKey(SymbolicUniverse, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| selectScopeValuesMap(SymbolicUniverse, SymbolicExpression) | | 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 |