public final class StateFactoryDPNImpl extends java.lang.Object implements StateFactory
Constructor and Description |
---|
StateFactoryDPNImpl() |
Modifier and Type | Method and Description |
---|---|
PrecisionState |
newPrecisionState(TraceState traceState,
ModelState modelState) |
public PrecisionState newPrecisionState(TraceState traceState, ModelState modelState)
newPrecisionState
in interface StateFactory