Package | Description |
---|---|
org.processmining.plugins.graphviz.dot | |
org.processmining.plugins.graphviz.visualisation |
Modifier and Type | Method and Description |
---|---|
Dot.GraphDirection |
Dot.getDirection() |
static Dot.GraphDirection |
Dot.GraphDirection.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Dot.GraphDirection[] |
Dot.GraphDirection.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
Dot.setDirection(Dot.GraphDirection direction) |
Modifier and Type | Field and Description |
---|---|
Dot.GraphDirection |
DotPanelUserSettings.direction |
Modifier and Type | Method and Description |
---|---|
void |
DotPanel.setDirection(Dot.GraphDirection direction)
Public method to change the graph direction.
|
void |
DotPanelUserSettings.setDirection(Dot.GraphDirection direction) |