org.processmining.plugins.historyAwareReplayer.visualization.grouping

Class GroupedReplayResult

java.lang.Object

org.processmining.plugins.historyAwareReplayer.visualization.grouping.GroupedReplayResult

public class GroupedReplayResult
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GroupedReplayResult.AlignmentGroup
static class	GroupedReplayResult.GroupOrdering

Constructor Summary

Constructors

Constructor and Description
GroupedReplayResult()
GroupedReplayResult(ResultReplay replayResult)

Method Summary

Modifier and Type	Method and Description
void	add(Alignment a)
void	addAll(java.util.Collection<Alignment> c)
java.util.Set<com.google.common.collect.Multiset.Entry<GroupedReplayResult.AlignmentGroup>>	groupedByAlignment()
java.util.SortedSet<Alignment>	listAlignments(GroupedReplayResult.AlignmentGroup group)

Methods inherited from class java.lang.Object

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

Constructor Detail

GroupedReplayResult

public GroupedReplayResult(ResultReplay replayResult)

GroupedReplayResult

public GroupedReplayResult()

Method Detail

add

public void add(Alignment a)

addAll

public void addAll(java.util.Collection<Alignment> c)

groupedByAlignment

public java.util.Set<com.google.common.collect.Multiset.Entry<GroupedReplayResult.AlignmentGroup>> groupedByAlignment()

listAlignments

public java.util.SortedSet<Alignment> listAlignments(GroupedReplayResult.AlignmentGroup group)