public class PropertyShrinkingResult
extends java.lang.Object
| Constructor and Description |
|---|
PropertyShrinkingResult(java.util.List values,
int steps,
java.lang.Throwable throwable) |
| Modifier and Type | Method and Description |
|---|---|
int |
steps() |
java.util.Optional<java.lang.Throwable> |
throwable() |
java.util.List |
values() |