Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin | |
net.automatalib.serialization.fsm.parser |
Modifier and Type | Method and Description |
---|---|
default CompactMealy<I,O> |
LTSminIO.fsm2Mealy(File fsm,
MealyMachine<?,I,?,O> originalAutomaton,
Collection<? extends I> inputs) |
default CompactMealy<I,O> |
LTSminAlternating.fsm2Mealy(File fsm,
MealyMachine<?,I,?,O> originalAutomaton,
Collection<? extends I> inputs) |
CompactMealy<I,O> |
LTSminMealy.fsm2Mealy(File fsm,
MealyMachine<?,I,?,O> originalAutomaton,
Collection<? extends I> inputs)
Converts the given
fsm to a CompactMealy . |
Modifier and Type | Method and Description |
---|---|
protected abstract void |
AbstractFSMParser.checkDataDefinitions(StreamTokenizer streamTokenizer)
Perform some actions after all data definitions have been parsed.
|
protected void |
FSM2DFAParser.checkDataDefinitions(StreamTokenizer streamTokenizer)
Checks the data definition by ensuring the index in the state vector containing acceptance information is
defined.
|
protected abstract void |
AbstractFSMParser.checkStateVectors(StreamTokenizer streamTokenizer)
Perform some actions after all state vectors have been parsed.
|
protected abstract void |
AbstractFSMParser.checkTransitions(StreamTokenizer streamTokenizer)
Perform some actions after all transitions have been parsed.
|
protected void |
FSM2MealyParserAlternating.checkTransitions(StreamTokenizer streamTokenizer)
Creates the actual Mealy machine transitions.
|
protected void |
AbstractFSMParser.parse(Reader reader)
Parsed the FSM file line-by-line.
|
protected abstract void |
AbstractFSMParser.parseDataDefinition(StreamTokenizer streamTokenizer)
Parse a data definition.
|
protected void |
FSM2DFAParser.parseDataDefinition(StreamTokenizer streamTokenizer)
Parse a data definition.
|
protected CompactMealy<I,O> |
AbstractFSM2MealyParser.parseMealy(Reader reader)
Constructs the actual
MealyMachine , using AbstractFSM2MealyParser.states , and
AbstractFSM2MealyParser.transitions . |
protected abstract void |
AbstractFSMParser.parseStateVector(StreamTokenizer streamTokenizer)
Parse a state vector.
|
protected void |
FSM2DFAParser.parseStateVector(StreamTokenizer streamTokenizer)
Parse a state vector.
|
protected abstract void |
AbstractFSMParser.parseTransition(StreamTokenizer streamTokenizer)
Parse a transition.
|
protected void |
FSM2MealyParserAlternating.parseTransition(StreamTokenizer streamTokenizer)
Parse a transition.
|
protected void |
FSM2MealyParserIO.parseTransition(StreamTokenizer streamTokenizer)
Parse a transition.
|
protected void |
FSM2DFAParser.parseTransition(StreamTokenizer streamTokenizer)
Parse a transition by searching the current line for the source state, target state and the input.
|
Copyright © 2019. All rights reserved.