| Interface | Description |
|---|---|
| SsaScope |
| Class | Description |
|---|---|
| Analyzer |
Class for model code coverage extraction from internal representation.
|
| Block | |
| BlockConverter | |
| IntegerCast | |
| PathConstraintBuilder | |
| Paths | |
| SsaAssembler | |
| SsaForm | |
| SsaScopeFactory | |
| TestBase | |
| Utility |
| Enum | Description |
|---|---|
| SsaOperation |