org.processmining.plugins.ilpminer

Class PrefixClosedLanguage

java.lang.Object

org.processmining.plugins.ilpminer.PrefixClosedLanguage

public class PrefixClosedLanguage
extends java.lang.Object

Represents a prefix closed language (i.e. PCL = {w | exi w2 in Alphabet* : (w w2) in Language}) Uses integer representations for the alphabet.

Author:

T. van der Wiel

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	PrefixClosedLanguage.Trace Internally used to represent a word in the language (consisting of an ordered list of letters)

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<PrefixClosedLanguage.Trace,java.lang.Integer>	traces
protected java.util.Map<java.lang.Integer,java.lang.Integer>	weights

Constructor Summary

Constructors

Constructor and Description
PrefixClosedLanguage(org.deckfour.xes.model.XLog log, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> indices, org.deckfour.xes.classification.XEventClasses classes) Constructor.

Method Summary

Modifier and Type	Method and Description
int[]	getLastTransitionVector()
int	getMaxWordLength() returns the length of the longest word in the language
int[][]	getTransitionCountMatrix() returns a list containing the amounts by which each letter ocurred in each word in the language.
int[][]	getTransitionCountMatrix(int ignoredEventsFromEnd) returns a list containing the amounts by which each letter ocurred in each word in the language.
int	getWeight(int index)
int[]	getWeights() returns a list containing the amounts by which each word ocurred in the language
int	getWeightsTotal()
int	last() returns the amount of words in the language minus one (the maximum index of the words)

Methods inherited from class java.lang.Object

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

Field Detail

traces

protected final java.util.Map<PrefixClosedLanguage.Trace,java.lang.Integer> traces

weights

protected final java.util.Map<java.lang.Integer,java.lang.Integer> weights

Constructor Detail

PrefixClosedLanguage

public PrefixClosedLanguage(org.deckfour.xes.model.XLog log,
                            java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> indices,
                            org.deckfour.xes.classification.XEventClasses classes)

Constructor. Creates the PCL from a log using a mapping.

Parameters:

log -

mapping - between the eventclasses and an integer

eventclasses - in the log

Method Detail

last

public int last()

returns the amount of words in the language minus one (the maximum index of the words)

Returns:

last index

getTransitionCountMatrix

public int[][] getTransitionCountMatrix()

returns a list containing the amounts by which each letter ocurred in each word in the language. First index: word index Second index: letter index

Returns:

int[][]

getTransitionCountMatrix

public int[][] getTransitionCountMatrix(int ignoredEventsFromEnd)

returns a list containing the amounts by which each letter ocurred in each word in the language. First index: word index Second index: letter index

Parameters:

ignoredEventsFromEnd - - number of ignored letters from the end of the word

Returns:

letter count per word

getLastTransitionVector

public int[] getLastTransitionVector()

getWeight

public int getWeight(int index)

getWeights

public int[] getWeights()

returns a list containing the amounts by which each word ocurred in the language

Returns:

weights

getWeightsTotal

public int getWeightsTotal()

getMaxWordLength

public int getMaxWordLength()

returns the length of the longest word in the language

Returns:

longest word length