net.automatalib.graphs.dot

Class GraphDOTHelper.NodeStyles

java.lang.Object

net.automatalib.graphs.dot.GraphDOTHelper.CommonStyles

net.automatalib.graphs.dot.GraphDOTHelper.NodeStyles

Enclosing interface:

GraphDOTHelper<N,E>

public abstract static class GraphDOTHelper.NodeStyles
extends GraphDOTHelper.CommonStyles

Field Summary

Fields

Modifier and Type	Field and Description
static String	DIAGONALS
static String	FILLED
static String	INVISIBLE
static String	ROUNDED

Fields inherited from class net.automatalib.graphs.dot.GraphDOTHelper.CommonStyles

BOLD, DASHED, DOTTED, SOLID

Constructor Summary

Constructors

Constructor and Description
NodeStyles()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

FILLED

public static final String FILLED

See Also:

Constant Field Values

INVISIBLE

public static final String INVISIBLE

See Also:

Constant Field Values

DIAGONALS

public static final String DIAGONALS

See Also:

Constant Field Values

ROUNDED

public static final String ROUNDED

See Also:

Constant Field Values

Constructor Detail

NodeStyles

public NodeStyles()