| Interface | Description |
|---|---|
| MaterializationStrategy |
A strategy that determines how (abstract) program states are materialized (partially concretized) such
that concrete program semantics becomes applicable afterwards.
|
| Class | Description |
|---|---|
| GeneralMaterializationStrategy |
Determines concrete violation points and resolves them.
|
| MaterializationStrategyBuilder | |
| OneStepMaterializationStrategy | |
| OneStepMaterializationStrategyBuilder |
Copyright © 2018. All rights reserved.