Package | Description |
---|---|
de.uni_due.inf.ti.graph.io |
Modifier and Type | Field and Description |
---|---|
static DotStyle |
DotStyle.UNSET_STYLE
Style of which all elements equal DEFAULT.
|
Modifier and Type | Method and Description |
---|---|
static DotStyle |
DotStyle.getColorStyle(DotStyle.Color color)
Returns a style which represents a certain color.
|
DotStyle |
DotExporter.getDefaultEdgeStyle()
Returns the default style for hyperedges.
|
DotStyle |
DotExporter.getDefaultGraphStyle()
Returns the default style for the graphs in transition systems.
|
DotStyle |
DotExporter.getDefaultLineStyle()
Returns the default style for lines.
|
DotStyle |
DotExporter.getDefaultNodeStyle()
Returns the default style for graph nodes.
|
DotStyle |
DotExporter.getHighlightStyle()
Returns the highlight style of this DotExporter.
|
static DotStyle |
DotStyle.getLineStyle(DotStyle.LineStyle ls)
Returns a style which represents a given line style.
|
static DotStyle |
DotStyle.getShapeStyle(DotStyle.Shape shape)
Returns a style which represents a certain shape.
|
DotStyle |
DotStyle.getSubStyle(DotStyle.Color color)
Returns a style which is equal to this style, except for the color.
|
DotStyle |
DotStyle.getSubStyle(DotStyle.LineStyle lineStyle)
Returns a style which is equal to this style, except for the line style.
|
DotStyle |
DotStyle.getSubStyle(DotStyle.Shape shape)
Returns a style which is equal to this style, except for the shape.
|
DotStyle |
DotStyle.getSubStyle(DotStyle style)
Returns a style which is equal to a given style, except that
default values are changed to the values of this style.
|
Modifier and Type | Method and Description |
---|---|
DotStyle |
DotStyle.getSubStyle(DotStyle style)
Returns a style which is equal to a given style, except that
default values are changed to the values of this style.
|
void |
DotExporter.setDefaultEdgeStyle(DotStyle style)
Sets the default style for hyperedges.
|
void |
DotExporter.setDefaultGraphStyle(DotStyle style)
Sets the default style for the graphs in transition systems.
|
void |
DotExporter.setDefaultLineStyle(DotStyle style)
Sets the default style for lines.
|
void |
DotExporter.setDefaultNodeStyle(DotStyle style)
Sets the default style for graph nodes.
|
void |
DotExporter.setHighlightStyle(DotStyle style)
Sets the highlight style of this DotExporter.
|
Modifier and Type | Method and Description |
---|---|
void |
DotExporter.printDot(Graph graph,
java.io.PrintWriter out,
java.util.Map<java.lang.Object,DotStyle> styles)
Prints a DOT representation of this graph to a PrintWriter.
|
void |
DotExporter.setCustomStyles(java.util.Map<java.lang.Object,DotStyle> styles)
Sets the custom styles for this DotExporter.
|