org.processmining.dataawarereplayer.precision.state

Class DPNStateImpl

java.lang.Object

org.processmining.dataawarereplayer.precision.state.DPNStateImpl

All Implemented Interfaces:

DPNState, MarkingAwareModelState, ModelState

public final class DPNStateImpl
extends java.lang.Object
implements DPNState

Constructor Summary

Constructors

Constructor and Description
DPNStateImpl(byte[] marking, DataState dataState)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
DataState	getDataState()
byte[]	getMarking()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DPNStateImpl

public DPNStateImpl(byte[] marking,
                    DataState dataState)

Method Detail

getMarking

public byte[] getMarking()

Specified by:

getMarking in interface MarkingAwareModelState

getDataState

public DataState getDataState()

Specified by:

getDataState in interface DPNState

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object