public class PetriNetView extends GraphView
Constructor and Description |
---|
PetriNetView(GraphVisualization vis) |
Modifier and Type | Method and Description |
---|---|
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 |
setTooltipEnabled(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 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 setTooltipEnabled(boolean enabled)
public void setSelectNodeControlEnabled(boolean enabled)
public void setTransitionSelectionEnabled(boolean enabled)