public interface StateFactory
Modifier and Type | Method and Description |
---|---|
PrecisionState |
newPrecisionState(TraceState traceState,
ModelState modelState) |
PrecisionState newPrecisionState(TraceState traceState, ModelState modelState)