org.jbpt.petri.log

Class TraceEntry

java.lang.Object

org.jbpt.alignment.LabelEntity

org.jbpt.petri.log.TraceEntry

All Implemented Interfaces:

Cloneable, IEntity

public class TraceEntry
extends LabelEntity

Field Summary

Fields inherited from class org.jbpt.alignment.LabelEntity

label

Constructor Summary

Constructors

Constructor and Description
TraceEntry(String label)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object te)
UUID	getUuid()
void	setUuid(UUID uuid)

Methods inherited from class org.jbpt.alignment.LabelEntity

clone, getLabel, hashCode, setLabel, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TraceEntry

public TraceEntry(String label)

Method Detail

getUuid

public UUID getUuid()

setUuid

public void setUuid(UUID uuid)

equals

public boolean equals(Object te)

Overrides:

equals in class LabelEntity