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.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic ModelState getModelState()
getModelState in interface PrecisionStatepublic TraceState getTraceState()
getTraceState in interface PrecisionState