Package org.processmining.plugins.inductiveVisualMiner.animation.renderingthread

Class ExternalSettingsManager.ExternalSettings

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.animation.renderingthread.ExternalSettingsManager.ExternalSettings

Enclosing class:

ExternalSettingsManager

public class ExternalSettingsManager.ExternalSettings
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
IvMLogFiltered	filteredLog
int	height
double	timeScale
GraphVizTokensLazyIterator	tokens
TraceColourMap	trace2colour
java.awt.geom.AffineTransform	transform
int	width

Constructor Summary

Constructors

Constructor	Description
ExternalSettings()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

width

public int width

height

public int height

filteredLog

public IvMLogFiltered filteredLog

trace2colour

public TraceColourMap trace2colour

tokens

public GraphVizTokensLazyIterator tokens

transform

public java.awt.geom.AffineTransform transform

timeScale

public double timeScale

Constructor Detail

ExternalSettings

public ExternalSettings()