public class ModelController
extends java.lang.Object
Constructor and Description |
---|
ModelController(MainController controller) |
Modifier and Type | Method and 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() |
public ModelController(MainController controller)
public void calculateTS()
public void calculateATS()
public void drawModel(java.util.Set<java.lang.Object> differences)
public java.awt.Component getModelPanel()
public javax.swing.JPanel getPanel()
public void updateModels()
public AnnotatedTransitionSystem getATS()