A C D E F G I N P R S T V
All Classes All Packages

A

AbstractFSM2MealyParser<I,O,A extends MutableMealyMachine<Integer,I,?,O>> - Class in net.automatalib.serialization.fsm.parser

An FSM parser for Mealy machines.

AbstractFSM2MealyParser(Collection<? extends I>, Function<String, I>, Function<String, O>, AutomatonCreator<A, I>) - Constructor for class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

Constructs a new AbstractFSM2MealyParser.

AbstractFSMParser<I> - Class in net.automatalib.serialization.fsm.parser

This class provides methods to parse automata in FSM format.

AbstractFSMParser(Collection<? extends I>, Function<String, I>) - Constructor for class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Constructs a new AbstractFSMParser and defines all possible tokens.

AbstractFSMParser.Part - Enum in net.automatalib.serialization.fsm.parser

An enumeration for the three parts in the FSM file.

ACCEPT_INDEX_NOT_FOUND - Static variable in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

ACCEPT_NOT_FOUND - Static variable in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

ACCEPT_VALUE_NOT_FOUND - Static variable in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

C

checkDataDefinitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

We do not need to check data definitions.

checkDataDefinitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Perform some actions after all data definitions have been parsed.

checkDataDefinitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Checks the data definition by ensuring the index in the state vector containing acceptance information is defined.

checkStateVectors(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

We do not check the state vectors.

checkStateVectors(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Perform some actions after all state vectors have been parsed.

checkStateVectors(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Does nothing.

checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Perform some actions after all transitions have been parsed.

checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Do nothing.

checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

Creates the actual Mealy machine transitions.

checkTransitions(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO

D

DATA_DEFINITION - net.automatalib.serialization.fsm.parser.AbstractFSMParser.Part

E

EXPECT_CHAR - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

EXPECT_IDENTIFIER - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

EXPECT_NUMBER - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

EXPECT_STRING - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

F

FSM2DFAParser<I,A extends MutableDFA<Integer,I>> - Class in net.automatalib.serialization.fsm.parser

Parses an FSM to a DFA.

FSM2MealyParserAlternating<I,O,A extends MutableMealyMachine<Integer,I,?,O>> - Class in net.automatalib.serialization.fsm.parser

Parses a Mealy machine with alternating edge semantics from an FSM source.

FSM2MealyParserIO<I,O,A extends MutableMealyMachine<Integer,I,?,O>> - Class in net.automatalib.serialization.fsm.parser

Parse a Mealy machine from an FSM source with straightforward edge semantics (as compared to FSM2MealyParserAlternating).

G

getInputParser() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Gets the function that transforms strings in the FSM file to input.

getInputs() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Gets the set that contains all inputs that end up in the input alphabet.

getOutputParser() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

Gets the Function that transforms strings from the FSM source to actual output.

getParser(Collection<? extends E>, Output<E, Word<E>>, Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getParser(Collection<? extends E>, Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getParser(Collection<? extends I>, Output<I, Word<O>>, Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getParser(Collection<? extends I>, Output<I, Word<O>>, Function<String, I>, Function<String, O>, AutomatonCreator<A, I>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a given MutableMealyMachine.

getParser(Collection<? extends I>, Function<String, I>, String, String) - Static method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Constructs a ModelDeserializer that reads a DFA description and writes it into a CompactDFA, limited to the specified input symbols.

getParser(Collection<? extends I>, Function<String, I>, String, String, AutomatonCreator<A, I>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Constructs a ModelDeserializer that reads a DFA description and writes it into a given MutableDFA, limited to the specified input symbols.

getParser(Collection<? extends I>, Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getParser(Collection<? extends I>, Function<String, I>, Function<String, O>, AutomatonCreator<A, I>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a given MutableMealyMachine.

getParser(Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getParser(Function<String, E>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getParser(Function<String, I>, String, String) - Static method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Constructs a ModelDeserializer that reads a DFA description and writes it into a CompactDFA.

getParser(Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getParser(Function<String, I>, Function<String, O>) - Static method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

getPartLineNumber() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Returns the line number that is being parsed in the current part.

getStates() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

Gets the sorted set of states for the Mealy machine.

getStreamTokenizer(Reader) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Gets the StreamTokenizer, that tokenizes tokens in the FSM file.

getTransitions() - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

Gets the map of transitions for the Mealy machine.

I

INPUT_HAS_NO_OUTPUT - Static variable in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

N

net.automatalib.serialization.fsm.parser - package net.automatalib.serialization.fsm.parser

NO_SUCH_STATE - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

NON_DETERMINISM_DETECTED - Static variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

P

parse(Reader) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Parsed the FSM file line-by-line.

parseDataDefinition(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

We do not care about data definitions.

parseDataDefinition(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Parse a data definition.

parseDataDefinition(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Parse a data definition.

parseMealy(Reader) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

Constructs the actual MealyMachine, using AbstractFSM2MealyParser.states, and AbstractFSM2MealyParser.transitions.

parseStateVector(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

Parse a state vector by simply recording the line number in the current part.

parseStateVector(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Parse a state vector.

parseStateVector(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Parse a state vector.

parseTransition(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

Parse a transition.

parseTransition(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

Parse a transition by searching the current line for the source state, target state and the input.

parseTransition(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

Parse a transition.

parseTransition(StreamTokenizer) - Method in class net.automatalib.serialization.fsm.parser.FSM2MealyParserIO

Parse a transition.

PARTIAL_FSM - Static variable in class net.automatalib.serialization.fsm.parser.FSM2MealyParserAlternating

R

readModel(InputStream) - Method in class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

readModel(InputStream) - Method in class net.automatalib.serialization.fsm.parser.FSM2DFAParser

S

STATE_VECTORS - net.automatalib.serialization.fsm.parser.AbstractFSMParser.Part

T

targetInputs - Variable in class net.automatalib.serialization.fsm.parser.AbstractFSMParser

The set that contains all inputs that end up in the input alphabet (provided by the user, may be null).

TRANSITIONS - net.automatalib.serialization.fsm.parser.AbstractFSMParser.Part

V

valueOf(String) - Static method in enum net.automatalib.serialization.fsm.parser.AbstractFSMParser.Part

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.automatalib.serialization.fsm.parser.AbstractFSMParser.Part

Returns an array containing the constants of this enum type, in the order they are declared.

A C D E F G I N P R S T V
All Classes All Packages