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

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

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.visualization.DummyVP

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