Package | Description |
---|---|
net.automatalib.automata.fsa.impl.compact | |
net.automatalib.serialization.dot | |
net.automatalib.util.automata.builders |
Modifier and Type | Method and Description |
---|---|
CompactNFA<I> |
CompactNFA.Creator.createAutomaton(Alphabet<I> alphabet) |
CompactNFA<I> |
CompactNFA.Creator.createAutomaton(Alphabet<I> alphabet,
int numStates) |
<I2> CompactNFA<I2> |
CompactNFA.translate(Alphabet<I2> newAlphabet) |
Constructor and Description |
---|
CompactNFA(Alphabet<I> alphabet,
CompactNFA<?> other) |
Modifier and Type | Method and Description |
---|---|
static InputModelDeserializer<String,CompactNFA<String>> |
DOTParsers.nfa()
Default parser for
NFA s serialized by AutomataLib. |
static <I> InputModelDeserializer<I,CompactNFA<I>> |
DOTParsers.nfa(Function<Map<String,Object>,Boolean> nodeParser,
Function<Map<String,Object>,I> edgeParser)
Parser for
NFA s with custom node and edge attributes. |
Modifier and Type | Method and Description |
---|---|
static <I> FSABuilder<Integer,I,CompactNFA<I>> |
AutomatonBuilders.newNFA(Alphabet<I> alphabet) |
Copyright © 2020. All rights reserved.