public <I> void writeGenericModel(OutputStream os, DFA<?, I> model, Alphabet<I> alphabet) { doWriteDFA(model, alphabet, os); }
public static DFALearningExample<Integer> loadLearnLibV2Benchmark(String name) { String resourceName = "/automata/learnlibv2/" + name + ".dfa.gz"; if (DFABenchmarks.class.getResource(resourceName) == null) { return null; } try (InputStream is = DFABenchmarks.class.getResourceAsStream(resourceName)) { CompactDFA<Integer> dfa = LearnLibV2Serialization.getInstance().readGenericDFA(is); return new DefaultDFALearningExample<>(dfa); } catch (IOException ex) { LOGGER.error("Could not load benchmark", ex); return null; } }
@Override public InputModelData<Integer, DFA<Integer, Integer>> readModel(InputStream is) throws IOException { final CompactDFA<Integer> automaton = readGenericDFA(is); return new InputModelData<>(automaton, automaton.getInputAlphabet()); }
@Override public InputModelData<Integer, DFA<Integer, Integer>> readModel(InputStream is) throws IOException { final CompactDFA<Integer> automaton = readGenericDFA(is); return new InputModelData<>(automaton, automaton.getInputAlphabet()); }
@Override public void writeModel(OutputStream os, DFA<?, Integer> model, Alphabet<Integer> alphabet) { doWriteDFA(model, alphabet, os); }
@Override public void writeModel(OutputStream os, DFA<?, Integer> model, Alphabet<Integer> alphabet) { doWriteDFA(model, alphabet, os); }
public <I> void writeGenericModel(OutputStream os, DFA<?, I> model, Alphabet<I> alphabet) { doWriteDFA(model, alphabet, os); }