public final class PrecisionStateImpl extends java.lang.Object implements PrecisionState
Constructor and Description |
---|
PrecisionStateImpl(TraceState traceState,
ModelState modelState) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
ModelState |
getModelState() |
TraceState |
getTraceState() |
int |
hashCode() |
java.lang.String |
toString() |
public PrecisionStateImpl(TraceState traceState, ModelState modelState)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public ModelState getModelState()
getModelState
in interface PrecisionState
public TraceState getTraceState()
getTraceState
in interface PrecisionState