public final class DPNStateImpl extends java.lang.Object implements DPNState
Constructor and Description |
---|
DPNStateImpl(byte[] marking,
DataState dataState) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
DataState |
getDataState() |
byte[] |
getMarking() |
int |
hashCode() |
java.lang.String |
toString() |
public DPNStateImpl(byte[] marking, DataState dataState)
public byte[] getMarking()
getMarking
in interface MarkingAwareModelState
public DataState getDataState()
getDataState
in interface DPNState
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