public <I> void writeDFA(DFA<?, I> automaton, Alphabet<I> alphabet) throws IOException { writeAutomaton(automaton, alphabet, AutomatonType.DFA, new AcceptanceEncoder(), SinglePropertyEncoder.nullEncoder()); }
public <I> CompactDFA<I> readDFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.DFA, alphabet, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public CompactDFA<Integer> readNativeDFA() throws IOException { return readNativeAutomaton(AutomatonType.DFA, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
private <S, I, SP, TP> List<S> decodeBodyNondet(MutableAutomaton<S, I, ?, SP, TP> result, Alphabet<I> alphabet, int numStates, BlockPropertyDecoder<? extends SP> spDecoder, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { List<S> stateList = decodeStatesNondet(result, numStates, spDecoder); decodeTransitionsNondet(result, stateList, alphabet, tpDecoder); return stateList; }
private <S, I, SP, TP> List<S> decodeBodyDet(MutableAutomaton<S, I, ?, SP, TP> result, Alphabet<I> alphabet, int numStates, BlockPropertyDecoder<? extends SP> spDecoder, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { List<S> stateList = decodeStatesDet(result, numStates, spDecoder); decodeTransitionsDet(result, stateList, alphabet, tpDecoder); return stateList; }
public <I> void writeNFA(NFA<?, I> automaton, Alphabet<I> alphabet) throws IOException { writeAutomaton(automaton, alphabet, AutomatonType.NFA, new AcceptanceEncoder(), SinglePropertyEncoder.nullEncoder()); } }
public <I> CompactDFA<I> readDFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.DFA, alphabet, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public CompactNFA<Integer> readNativeNFA() throws IOException { return readNativeAutomaton(AutomatonType.NFA, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); } }
private <S, I, SP, TP> List<S> decodeBodyNondet(MutableAutomaton<S, I, ?, SP, TP> result, Alphabet<I> alphabet, int numStates, BlockPropertyDecoder<? extends SP> spDecoder, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { List<S> stateList = decodeStatesNondet(result, numStates, spDecoder); decodeTransitionsNondet(result, stateList, alphabet, tpDecoder); return stateList; }
private <S, I, SP, TP> List<S> decodeBodyDet(MutableAutomaton<S, I, ?, SP, TP> result, Alphabet<I> alphabet, int numStates, BlockPropertyDecoder<? extends SP> spDecoder, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { List<S> stateList = decodeStatesDet(result, numStates, spDecoder); decodeTransitionsDet(result, stateList, alphabet, tpDecoder); return stateList; }
public <I> void writeDFA(DFA<?, I> automaton, Alphabet<I> alphabet) throws IOException { writeAutomaton(automaton, alphabet, AutomatonType.DFA, new AcceptanceEncoder(), SinglePropertyEncoder.nullEncoder()); }
public <I> CompactNFA<I> readNFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.NFA, alphabet, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public CompactDFA<Integer> readNativeDFA() throws IOException { return readNativeAutomaton(AutomatonType.DFA, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public <I> void writeNFA(NFA<?, I> automaton, Alphabet<I> alphabet) throws IOException { writeAutomaton(automaton, alphabet, AutomatonType.NFA, new AcceptanceEncoder(), SinglePropertyEncoder.nullEncoder()); } }
public <I> CompactNFA<I> readNFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.NFA, alphabet, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public CompactNFA<Integer> readNativeNFA() throws IOException { return readNativeAutomaton(AutomatonType.NFA, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); } }