Constant Field Values

Contents

• net.automatalib.*

net.automatalib.*

net.automatalib.automata.base.compact.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.modelchecking.lasso.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"