public class HeuristicsInfo
extends java.lang.Object
Constructor and Description |
---|
HeuristicsInfo() |
Modifier and Type | Method and Description |
---|---|
javax.swing.JPanel |
getPanel() |
void |
setPanel(javax.swing.JPanel panel) |
void |
updateDirectRelations(PNetVisualizerController controller) |
void |
updateHeuristics(InteractivePetriNet ipn) |
public void updateHeuristics(InteractivePetriNet ipn)
public void updateDirectRelations(PNetVisualizerController controller)
public javax.swing.JPanel getPanel()
public void setPanel(javax.swing.JPanel panel)