java.text.DecimalFormat format
double zoom
double width
double height
double leftBorder
double rightBorder
double topBorder
double bottomBorder
double boxHeight
double minLineWidth
double maxLineWidth
double borderWidth
double fontSize
java.awt.image.BufferedImage buffer
java.awt.image.BufferedImage backBuffer
Animation animation
long animationTime
ColorSettings colorSettings
EdgeBackgroundPainter edgeBackgroundPainter
EdgeTrajectoryPainter edgeTrajectoryPainter
NodePainter nodePainter
TokenPainter tokenPainter
TokenLabelPainter tokenLabelPainter
NodeBadgesPainter nodeBadgesPainter
TokenRingsPainter tokenRingsPainter
java.awt.Color bgColor
java.awt.Color labelColor
java.awt.Color valueColor
Animation animation
long updateInterval
long lastUpdate
long modelTime
RoundGauge gauge
javax.swing.JLabel label
javax.swing.JLabel value
AnimationTimer timer
AnimationCanvas canvas
java.awt.Color waveColor
boolean timerRunningBeforeSeek
boolean isSeeking
int seekOffset
AnimationTimer timer
Animation animation
long start
long end
long duration
float position
float[] activity
int[] waveX
int[] waveY
int height
int hBorder
int topBorder
int bottomBorder
java.awt.Color colorLeft
java.awt.Color colorRight
int width
boolean visible
Animation animation
AnimationTimer timer
ActivityMeter activityMeter
CompletionMeter completionMeter
CaseAnimationPanel caseAnimationPanel
org.processmining.framework.util.ui.ExpandButton expandButton
javax.swing.JPanel expandPanel
javax.swing.JPanel contentPanel
int width
int border
float flagWidth
float flagHeight
float halfFlagWidth
float quarterFlagHeight
float threeQuarterFlagheight
java.awt.Color bgColor
java.awt.Color textColor
java.awt.Color youngColor
java.awt.Color oldColor
Animation anim
long modelTime
float currentOffset
java.util.HashMap<K,V> offsetMap
java.util.Random random
java.text.DecimalFormat format
AnimationPanel parentFrame
AnimationCanvas canvas
AnimationTimer timer
boolean running
TimeDisplay timeDisplay
AnimationSeekPane seekPane
javax.swing.JSlider zoomSlider
javax.swing.JSlider speedSlider
com.fluxicon.slickerbox.components.InspectorButton fullScreenButton
java.awt.Color colorTriangle
boolean isExpanded
boolean mouseOver
com.fluxicon.slickerbox.components.SlickerProgressBar progress
javax.swing.JLabel title
javax.swing.JLabel label
java.awt.Color bgColor
java.awt.Color colorEmpty
java.awt.Color colorFull
int radius
int border
int segments
float percentage
int cipherWidth
int cipherHeight
int segmentWidth
int border
int x1
int x2
int x3
int x4
int y1
int y2
int y3
int y4
int y5
int y6
int y7
int[] TOP_X
int[] TOP_Y
int[] LEFTTOP_X
int[] LEFTTOP_Y
int[] RIGHTTOP_X
int[] RIGHTTOP_Y
int[] LEFTBOTTOM_X
int[] LEFTBOTTOM_Y
int[] RIGHTBOTTOM_X
int[] RIGHTBOTTOM_Y
int[] MIDDLE_X
int[] MIDDLE_Y
int[] BOTTOM_X
int[] BOTTOM_Y
java.util.GregorianCalendar calendar
long lastPaintTime