Constant Field Values

Contents

• net.automatalib.*

net.automatalib.*

net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

Modifier and Type	Constant Field	Value
public static final int	INVALID_STATE	-1

net.automatalib.visualization.VisualizationHelper.CommonAttrs

Modifier and Type	Constant Field	Value
public static final String	COLOR	"color"
public static final String	LABEL	"label"
public static final String	STYLE	"style"
public static final String	TEXLBL	"texlbl"

net.automatalib.visualization.VisualizationHelper.CommonStyles

Modifier and Type	Constant Field	Value
public static final String	BOLD	"bold"
public static final String	DASHED	"dashed"
public static final String	DOTTED	"dotted"
public static final String	SOLID	"solid"

net.automatalib.visualization.VisualizationHelper.EdgeAttrs

Modifier and Type	Constant Field	Value
public static final String	ARROWHEAD	"arrowhead"
public static final String	PENWIDTH	"penwidth"

net.automatalib.visualization.VisualizationHelper.NodeAttrs

Modifier and Type	Constant Field	Value
public static final String	ACCEPTING	"accepting"
public static final String	FIXEDSIZE	"fixedsize"
public static final String	HEIGHT	"height"
public static final String	INITIAL	"initial"
public static final String	SHAPE	"shape"
public static final String	WIDTH	"width"

net.automatalib.visualization.VisualizationHelper.NodeShapes

Modifier and Type	Constant Field	Value
public static final String	BOX	"box"
public static final String	CIRCLE	"circle"
public static final String	DOUBLECIRCLE	"doublecircle"
public static final String	DOUBLEOCTAGON	"doubleoctagon"
public static final String	DOUBLEOVAL	"doubleoval"
public static final String	NONE	"none"
public static final String	OCTAGON	"octagon"
public static final String	OVAL	"oval"

net.automatalib.visualization.VisualizationHelper.NodeStyles

Modifier and Type	Constant Field	Value
public static final String	DIAGONALS	"diagonals"
public static final String	FILLED	"filled"
public static final String	INVISIBLE	"invisible"
public static final String	ROUNDED	"rounded"