Constant Field Values

Contents

• net.automatalib.*

net.automatalib.*

net.automatalib.automaton.base.AbstractCompact<I,T,SP,TP>

Modifier and Type	Constant Field	Value
protected static final int	DEFAULT_INIT_CAPACITY	11
protected static final float	DEFAULT_RESIZE_FACTOR	1.5f
protected static final int	INVALID_STATE	-1

net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction

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

net.automatalib.automaton.vpa.AbstractDefaultSEVPA<I>

Modifier and Type	Constant Field	Value
protected static final int	DEFAULT_SIZE	10

net.automatalib.common.smartcollection.ResizingArrayStorage<T>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_INITIAL_CAPACITY	10

net.automatalib.modelchecker.ltsmin.LTSminDFA<I,R>

Modifier and Type	Constant Field	Value
public static final String	LABEL_NAME	"label"
public static final String	LABEL_VALUE	"accept"

net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA<I>

Modifier and Type	Constant Field	Value
public static final String	LABEL_NAME	"label"
public static final String	LABEL_VALUE	"accept"

net.automatalib.modelchecking.AbstractLasso<I,D>

Modifier and Type	Constant Field	Value
public static final String	NO_LASSO	"Automaton is not lasso shaped"

net.automatalib.serialization.fsm.parser.AbstractFSMParser<I>

Modifier and Type	Constant Field	Value
public static final String	EXPECT_CHAR	"expected char \'%c\' not found"
public static final String	EXPECT_IDENTIFIER	"expecting identifier"
public static final String	EXPECT_NUMBER	"number expected"
public static final String	EXPECT_STRING	"expecting string"
public static final String	NO_SUCH_STATE	"state with number %d is undefined"
public static final String	NON_DETERMINISM_DETECTED	"non-determinism detected (previous value: %s)"

net.automatalib.serialization.fsm.parser.FSM2DFAParser<I>

Modifier and Type	Constant Field	Value
public static final String	ACCEPT_INDEX_NOT_FOUND	"index for accepting state label (%d) not found"
public static final String	ACCEPT_NOT_FOUND	"accepting state label (%s) not found"
public static final String	ACCEPT_VALUE_NOT_FOUND	"accepting state label value (%s) not found"

net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating<I,O>

Modifier and Type	Constant Field	Value
public static final String	INPUT_HAS_NO_OUTPUT	"FSM input \'%s\' at state \'%d\' has no corresponding output"
public static final String	PARTIAL_FSM	"FSM transition relation is incomplete: could not reach states \'%s\', from initial state \'%s\'"

net.automatalib.serialization.fsm.parser.FSMFormatException

Modifier and Type	Constant Field	Value
public static final String	MESSAGE	"Unable to parse FSM: %s at line %d"

net.automatalib.util.graph.Graphs

Modifier and Type	Constant Field	Value
public static final float	INVALID_DISTANCE	-1f/0f

net.automatalib.util.graph.traversal.GraphTraversal

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

net.automatalib.util.ts.traversal.TSTraversal

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

net.automatalib.visualization.DummyVP

Modifier and Type	Constant Field	Value
public static final String	ID	"dummy"

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.MTSEdgeAttrs

Modifier and Type	Constant Field	Value
public static final String	MODALITY	"modality"

net.automatalib.visualization.VisualizationHelper.NodeAttrs

Modifier and Type	Constant Field	Value
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"

net.automatalib.visualization.dot.GraphVizBrowserVisualizationProvider

Modifier and Type	Constant Field	Value
public static final String	ID	"graphviz-browser"

net.automatalib.visualization.dot.GraphVizSwingVisualizationProvider

Modifier and Type	Constant Field	Value
public static final String	ID	"graphviz-swing"

net.automatalib.visualization.jung.JungGraphVisualizationProvider

Modifier and Type	Constant Field	Value
public static final String	ID	"jung"