Package | Description |
---|---|
org.ginsim.core.graph.backend |
Implementation of the graph backend.
|
org.ginsim.core.graph.dynamicgraph |
State Transition Graphs, representing dynamical behaviours.
|
org.ginsim.core.graph.view |
Define the layout and appearance of graph elements.
|
org.ginsim.core.graph.view.style |
Styles define visual properties for graph elements.
|
Modifier and Type | Method and Description |
---|---|
EdgePattern |
EdgeAttributeReaderImpl.getDash() |
Modifier and Type | Method and Description |
---|---|
EdgePattern |
DefaultDynamicEdgeStyle.getPattern(DynamicEdge edge) |
Modifier and Type | Method and Description |
---|---|
EdgePattern |
EdgeAttributesReader.getDash()
set the edge as dashed.
|
static EdgePattern |
EdgePattern.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static EdgePattern[] |
EdgePattern.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
SimpleStroke.setDashPattern(EdgePattern pattern) |
Modifier and Type | Method and Description |
---|---|
EdgePattern |
EdgeStyleImpl.getPattern(E edge) |
EdgePattern |
EdgeStyle.getPattern(E edge) |
EdgePattern |
EdgeStyleOverride.getPattern(E edge) |
Modifier and Type | Method and Description |
---|---|
boolean |
EdgeStyleImpl.matches(Color color,
EdgePattern pattern,
int width) |
boolean |
EdgeStyle.matches(Color color,
EdgePattern pattern,
int width) |
boolean |
EdgeStyleOverride.matches(Color color,
EdgePattern pattern,
int width) |
Copyright © 2005–2020. All rights reserved.