Package org.processmining.variantfinder.controllers

Class ModelController

java.lang.Object

org.processmining.variantfinder.controllers.ModelController

public class ModelController
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ModelController(MainController controller)

Method Summary

Modifier and Type	Method	Description
void	calculateATS()
void	calculateTS()
void	drawModel(java.util.Set<java.lang.Object> differences)
AnnotatedTransitionSystem	getATS()
java.awt.Component	getModelPanel()
javax.swing.JPanel	getPanel()
void	updateModels()

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelController

public ModelController(MainController controller)

Method Detail

calculateTS

public void calculateTS()

calculateATS

public void calculateATS()

drawModel

public void drawModel(java.util.Set<java.lang.Object> differences)

getModelPanel

public java.awt.Component getModelPanel()

Returns:

the Dot panel containing the transition system

getPanel

public javax.swing.JPanel getPanel()

updateModels

public void updateModels()

getATS

public AnnotatedTransitionSystem getATS()