congrats Icon
New! Announcing our next generation AI code completions
Read here
Tabnine Logo
InputModelData.<init>
Code IndexAdd Tabnine to your IDE (free)

How to use
net.automatalib.serialization.InputModelData
constructor

Best Java code snippets using net.automatalib.serialization.InputModelData.<init> (Showing top 11 results out of 315)

origin: net.automatalib/automata-serialization-learnlibv2

@Override
public InputModelData<Integer, DFA<Integer, Integer>> readModel(InputStream is) throws IOException {
  final CompactDFA<Integer> automaton = readGenericDFA(is);
  return new InputModelData<>(automaton, automaton.getInputAlphabet());
}
origin: LearnLib/automatalib

@Override
public InputModelData<Integer, DFA<Integer, Integer>> readModel(InputStream is) throws IOException {
  final CompactDFA<Integer> automaton = readGenericDFA(is);
  return new InputModelData<>(automaton, automaton.getInputAlphabet());
}
origin: net.automatalib/automata-serialization-taf

  @Override
  public InputModelData<String, MealyMachine<?, String, ?, String>> readModel(InputStream is) throws IOException {
    final CompactMealy<String, String> automaton =
        TAFParser.parseMealy(is, PrintStreamDiagnosticListener.getStderrDiagnosticListener());
    return new InputModelData<>(automaton, automaton.getInputAlphabet());
  }
}
origin: net.automatalib/automata-serialization-taf

  @Override
  public InputModelData<String, DFA<Integer, String>> readModel(InputStream is) throws IOException {
    final CompactDFA<String> automaton =
        TAFParser.parseDFA(is, PrintStreamDiagnosticListener.getStderrDiagnosticListener());
    return new InputModelData<>(automaton, automaton.getInputAlphabet());
  }
}
origin: LearnLib/automatalib

public <I> InputModelData<I, SimpleAutomaton<Integer, I>> parse(Function<String, I> inputTransformer)
    throws IOException {
  try (Reader isr = IOUtil.asUTF8Reader(inputStream);
     BufferedReader bisr = new BufferedReader(isr)) {
    // parsing
    parseHeader(bisr);
    while (parseTransition(bisr)) {}
    // automaton construction
    final Map<String, I> inputMap =
        alphabetSymbols.stream().collect(Collectors.toMap(Function.identity(), inputTransformer));
    final Alphabet<I> alphabet = Alphabets.fromCollection(inputMap.values());
    final CompactNFA<I> result = new CompactNFA<>(alphabet, transitionMap.size());
    for (int i = 0; i < transitionMap.size(); i++) {
      result.addState();
    }
    for (final Map.Entry<Integer, Map<String, Integer>> outgoing : transitionMap.entrySet()) {
      final Integer src = outgoing.getKey();
      for (final Map.Entry<String, Integer> targets : outgoing.getValue().entrySet()) {
        final String input = targets.getKey();
        final Integer dest = targets.getValue();
        result.addTransition(src, inputMap.get(input), dest);
      }
    }
    result.setInitial(initialState, true);
    return new InputModelData<>(result, alphabet);
  }
}
origin: LearnLib/automatalib

  @Override
  public InputModelData<String, MealyMachine<?, String, ?, String>> readModel(InputStream is)
      throws TAFParseException {
    final CompactMealy<String, String> automaton =
        TAFParser.parseMealy(is, PrintStreamDiagnosticListener.getStderrDiagnosticListener());
    return new InputModelData<>(automaton, automaton.getInputAlphabet());
  }
}
origin: LearnLib/automatalib

  @Override
  public InputModelData<String, DFA<Integer, String>> readModel(InputStream is) throws TAFParseException {
    final CompactDFA<String> automaton =
        TAFParser.parseDFA(is, PrintStreamDiagnosticListener.getStderrDiagnosticListener());
    return new InputModelData<>(automaton, automaton.getInputAlphabet());
  }
}
origin: LearnLib/automatalib

@Override
public InputModelData<Integer, NFA<Integer, Integer>> readModel(InputStream is) throws IOException {
  final InputStream uncompressedStream = IOUtil.asUncompressedInputStream(is);
  SAFInput in = new SAFInput(uncompressedStream);
  final CompactNFA<Integer> automaton = in.readNativeNFA();
  return new InputModelData<>(automaton, automaton.getInputAlphabet());
}
origin: net.automatalib/automata-serialization-saf

@Override
public InputModelData<Integer, DFA<Integer, Integer>> readModel(InputStream is) throws IOException {
  final InputStream uncompressedStream = IOUtil.asUncompressedInputStream(is);
  SAFInput in = new SAFInput(uncompressedStream);
  final CompactDFA<Integer> automaton = in.readNativeDFA();
  return new InputModelData<>(automaton, automaton.getInputAlphabet());
}
origin: net.automatalib/automata-serialization-saf

@Override
public InputModelData<Integer, NFA<Integer, Integer>> readModel(InputStream is) throws IOException {
  final InputStream uncompressedStream = IOUtil.asUncompressedInputStream(is);
  SAFInput in = new SAFInput(uncompressedStream);
  final CompactNFA<Integer> automaton = in.readNativeNFA();
  return new InputModelData<>(automaton, automaton.getInputAlphabet());
}
origin: LearnLib/automatalib

@Override
public InputModelData<Integer, DFA<Integer, Integer>> readModel(InputStream is) throws IOException {
  final InputStream uncompressedStream = IOUtil.asUncompressedInputStream(is);
  SAFInput in = new SAFInput(uncompressedStream);
  final CompactDFA<Integer> automaton = in.readNativeDFA();
  return new InputModelData<>(automaton, automaton.getInputAlphabet());
}
net.automatalib.serializationInputModelData<init>

Popular methods of InputModelData

    Popular in Java

    • Making http post requests using okhttp
    • scheduleAtFixedRate (Timer)
    • getExternalFilesDir (Context)
    • runOnUiThread (Activity)
    • RandomAccessFile (java.io)
      Allows reading from and writing to a file in a random-access manner. This is different from the uni-
    • SocketException (java.net)
      This SocketException may be thrown during socket creation or setting options, and is the superclass
    • BitSet (java.util)
      The BitSet class implements abit array [http://en.wikipedia.org/wiki/Bit_array]. Each element is eit
    • Map (java.util)
      A Map is a data structure consisting of a set of keys and values in which each key is mapped to a si
    • TreeMap (java.util)
      Walk the nodes of the tree left-to-right or right-to-left. Note that in descending iterations, next
    • SAXParseException (org.xml.sax)
      Encapsulate an XML parse error or warning.> This module, both source code and documentation, is in t
    • Top 25 Plugins for Webstorm
    Tabnine Logo
    • Products

      Search for Java codeSearch for JavaScript code
    • IDE Plugins

      IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimAtomGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
    • Company

      About UsContact UsCareers
    • Resources

      FAQBlogTabnine AcademyStudentsTerms of usePrivacy policyJava Code IndexJavascript Code Index
    Get Tabnine for your IDE now