public <I> CompactNFA<I> readNFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.NFA, alphabet, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
private <S, I, TP> void decodeTransitionsNondet(MutableAutomaton<S, I, ?, ?, TP> result, List<S> stateList, Alphabet<I> alphabet, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { int numStates = stateList.size(); assert result.size() == numStates; int numInputs = alphabet.size(); for (S state : stateList) { for (int j = 0; j < numInputs; j++) { int numTgts = in.readInt(); I sym = alphabet.getSymbol(j); for (int k = 0; k < numTgts; k++) { int tgt = in.readInt(); TP prop = tpDecoder.readProperty(in); S tgtState = stateList.get(tgt); result.addTransition(state, sym, tgtState, prop); } } } }
public CompactDFA<Integer> readNativeDFA() throws IOException { return readNativeAutomaton(AutomatonType.DFA, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
private <S, I, TP> void decodeTransitionsNondet(MutableAutomaton<S, I, ?, ?, TP> result, List<S> stateList, Alphabet<I> alphabet, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { int numStates = stateList.size(); assert result.size() == numStates; int numInputs = alphabet.size(); for (S state : stateList) { for (int j = 0; j < numInputs; j++) { int numTgts = in.readInt(); I sym = alphabet.getSymbol(j); for (int k = 0; k < numTgts; k++) { int tgt = in.readInt(); TP prop = tpDecoder.readProperty(in); S tgtState = stateList.get(tgt); result.addTransition(state, sym, tgtState, prop); } } } }
public CompactNFA<Integer> readNativeNFA() throws IOException { return readNativeAutomaton(AutomatonType.NFA, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); } }
private <S, I, TP> void decodeTransitionsDet(MutableAutomaton<S, I, ?, ?, TP> result, List<S> stateList, Alphabet<I> alphabet, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { int numStates = stateList.size(); assert result.size() == numStates; int numInputs = alphabet.size(); for (S state : stateList) { for (int j = 0; j < numInputs; j++) { int tgt = in.readInt(); if (tgt != -1) { I sym = alphabet.getSymbol(j); S tgtState = stateList.get(tgt); TP prop = tpDecoder.readProperty(in); result.addTransition(state, sym, tgtState, prop); } } } }
public CompactNFA<Integer> readNativeNFA() throws IOException { return readNativeAutomaton(AutomatonType.NFA, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); } }
private <S, I, TP> void decodeTransitionsDet(MutableAutomaton<S, I, ?, ?, TP> result, List<S> stateList, Alphabet<I> alphabet, SinglePropertyDecoder<? extends TP> tpDecoder) throws IOException { int numStates = stateList.size(); assert result.size() == numStates; int numInputs = alphabet.size(); for (S state : stateList) { for (int j = 0; j < numInputs; j++) { int tgt = in.readInt(); if (tgt != -1) { I sym = alphabet.getSymbol(j); S tgtState = stateList.get(tgt); TP prop = tpDecoder.readProperty(in); result.addTransition(state, sym, tgtState, prop); } } } }
public <I> CompactNFA<I> readNFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.NFA, alphabet, new CompactNFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
public <I> CompactDFA<I> readDFA(Alphabet<I> alphabet) throws IOException { return readAutomaton(AutomatonType.DFA, alphabet, new CompactDFA.Creator<>(), new AcceptanceDecoder(), SinglePropertyDecoder.nullDecoder()); }
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()); }