public class PetriNetView extends GraphView
Constructor and Description |
---|
PetriNetView(GraphVisualization vis) |
Modifier and Type | Method and Description |
---|---|
NodeHighlightControlPMD |
getNodeHighlightControlPMD() |
boolean |
isLayerSimplifierControlEnabled() |
void |
setAddModeEnabled(boolean enabled) |
void |
setEdgeSimplifierControlEnabled(boolean enabled) |
void |
setHighlightControlEnabled(boolean enabled) |
void |
setLayerSimplifierControlEnabled(boolean enabled) |
void |
setRemoveModeEnabled(boolean enabled) |
void |
setSelectNodeControlEnabled(boolean enabled) |
void |
setSpanEnabled(boolean enabled) |
void |
setTransitionSelectionEnabled(boolean enabled) |
protected void |
setUpDisplay() |
getDisplay
public PetriNetView(GraphVisualization vis)
protected void setUpDisplay()
setUpDisplay
in class GraphView
public void setHighlightControlEnabled(boolean enabled)
public NodeHighlightControlPMD getNodeHighlightControlPMD()
public void setSpanEnabled(boolean enabled)
public void setLayerSimplifierControlEnabled(boolean enabled)
public void setEdgeSimplifierControlEnabled(boolean enabled)
public void setAddModeEnabled(boolean enabled)
public void setRemoveModeEnabled(boolean enabled)
public boolean isLayerSimplifierControlEnabled()
public void setSelectNodeControlEnabled(boolean enabled)
public void setTransitionSelectionEnabled(boolean enabled)