Constant Field Values

Contents

• net.automatalib.*

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\'"