org.processmining.plugins.ltlchecker.util

Class SetsSet

java.lang.Object

org.processmining.plugins.ltlchecker.util.SetsSet

public class SetsSet
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
SetsSet(LTLParser parser, org.deckfour.xes.model.XLog log)

Method Summary

Modifier and Type	Method and Description
void	fill(org.deckfour.xes.model.XLog log) Fill the sets with information of a logreader.
java.util.Set<SetsSetItem>	getSet(java.lang.String name, int scope) Get an set given the name and the scope of the set.
boolean	standardSetsOnly() Are there only standard sets used, that is, WorkFlowModelElement, Originator and EventType?
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SetsSet

public SetsSet(LTLParser parser,
               org.deckfour.xes.model.XLog log)

Method Detail

standardSetsOnly

public boolean standardSetsOnly()

Are there only standard sets used, that is, WorkFlowModelElement, Originator and EventType?

Returns:

If only standard sets are used, return true.

getSet

public java.util.Set<SetsSetItem> getSet(java.lang.String name,
                                         int scope)

Get an set given the name and the scope of the set.

Parameters:

name - The name of the set.

scope - The scope of the set.

Returns:

The set specified by name and scope.

fill

public void fill(org.deckfour.xes.model.XLog log)

Fill the sets with information of a logreader.

Parameters:

log - A LogReader object containing all the processinstances.

p - A (@see Progress} to show progress. (can be null)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object