Constant Field Values

Contents

• net.automatalib.*

net.automatalib.*

net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction

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

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.vpa.impl.AbstractDefaultSEVPA<I>

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

net.automatalib.*

net.automatalib.common.util.IOUtil

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_BUFFER_SIZE	4096

net.automatalib.common.util.array.ArrayStorage<T>

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

net.automatalib.*

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.impl.AbstractLasso<I,D>

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

net.automatalib.*

net.automatalib.serialization.dot.GraphDOT

Modifier and Type	Constant Field	Value
public static final String	INITIAL_LABEL	"__start"

net.automatalib.*

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,A extends MutableDFA<Integer,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,A extends MutableMealyMachine<Integer,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.*

net.automatalib.util.automaton.conformance.KWayStateCoverTestsIterator<S,I>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_K	2
public static final int	DEFAULT_R_WALK_LEN	20

net.automatalib.util.automaton.conformance.KWayTransitionCoverTestsIterator<S,I>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_K	2
public static final int	DEFAULT_MAX_NUM_STEPS	0
public static final int	DEFAULT_MAX_PATH_LENGTH	50
public static final int	DEFAULT_NUM_GEN_PATHS	1000
public static final int	DEFAULT_R_WALK_LEN	10

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.VisualizationHelper.CommonAttrs

Modifier and Type	Constant Field	Value
public static final String	COLOR	"color"
public static final String	FONTCOLOR	"fontcolor"
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.MMLTEdgeAttrs

Modifier and Type	Constant Field	Value
public static final String	RESETS	"resets"

net.automatalib.visualization.VisualizationHelper.MMLTNodeAttrs

Modifier and Type	Constant Field	Value
public static final String	TIMERS	"timers"

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.VisualizationHelper.PMPGEdgeAttrs

Modifier and Type	Constant Field	Value
public static final String	PROCEDURALITY	"procedurality"

net.automatalib.visualization.VisualizationHelper.PMPGNodeAttrs

Modifier and Type	Constant Field	Value
public static final String	FINAL	"final"
public static final String	MAIN	"main"
public static final String	PROCESS	"process"

net.automatalib.*

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

net.automatalib.visualization.jung.JungGraphVisualizationProvider

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