public class GarbageCollector extends Object implements StateRefinementStrategy
| Constructor and Description |
|---|
GarbageCollector() |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
refine(SemanticsCommand semanticsCommand,
ProgramState state) |
public ProgramState refine(SemanticsCommand semanticsCommand, ProgramState state)
refine in interface StateRefinementStrategyCopyright © 2018. All rights reserved.