org.jbpt.petri.log

Class Log

java.lang.Object

org.jbpt.petri.log.Log

All Implemented Interfaces:

IEntityModel<TraceEntry>

public class Log
extends Object
implements IEntityModel<TraceEntry>

Class to represent a log of a Petri net, i.e., a set of traces.

Author:

matthias.weidlich

Field Summary

Fields

Modifier and Type	Field and Description
protected int	id The id of the log.
protected Set<String>	labels A set of all labels of the traces in the log.
protected int	lengthLongestTrace The length of the longest trace.
protected Set<TraceEntry>	traceEntries A set of all trace entries of the traces in the log.
protected Map<Trace,Integer>	traces The traces of the log along with their number of occurrence in the log.

Constructor Summary

Constructors

Constructor and Description
Log()

Method Summary

Methods

Modifier and Type	Method and Description
void	addTrace(Trace trace) Add a trace to the log.
Collection<TraceEntry>	getEntities()
int	getId()
Collection<String>	getLabelsOfLog()
int	getLengthLongestTrace()
Collection<Trace>	getTraces()
void	setId(int id)
protected boolean	tracesShowSameSequenceOfLabels(Trace t1, Trace t2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

id

protected int id

The id of the log.

traces

protected Map<Trace,Integer> traces

The traces of the log along with their number of occurrence in the log.

labels

protected Set<String> labels

A set of all labels of the traces in the log.

traceEntries

protected Set<TraceEntry> traceEntries

A set of all trace entries of the traces in the log.

lengthLongestTrace

protected int lengthLongestTrace

The length of the longest trace.

Constructor Detail

Log

public Log()

Method Detail

addTrace

public void addTrace(Trace trace)

Add a trace to the log.

Parameters:

trace, - the trace that should be added to the log

getLabelsOfLog

public Collection<String> getLabelsOfLog()

getTraces

public Collection<Trace> getTraces()

getLengthLongestTrace

public int getLengthLongestTrace()

getEntities

public Collection<TraceEntry> getEntities()

Specified by:

getEntities in interface IEntityModel<TraceEntry>

tracesShowSameSequenceOfLabels

protected boolean tracesShowSameSequenceOfLabels(Trace t1,
                                     Trace t2)

getId

public int getId()

setId

public void setId(int id)