public final class AUTParser extends Object
Modifier and Type | Method and Description |
---|---|
static InputModelData<String,SimpleAutomaton<Integer,String>> |
readAutomaton(InputStream is) |
static <I> InputModelData<I,SimpleAutomaton<Integer,I>> |
readAutomaton(InputStream is,
Function<String,I> inputTransformer) |
public static InputModelData<String,SimpleAutomaton<Integer,String>> readAutomaton(InputStream is) throws IOException
IOException
public static <I> InputModelData<I,SimpleAutomaton<Integer,I>> readAutomaton(InputStream is, Function<String,I> inputTransformer) throws IOException
IOException
Copyright © 2020. All rights reserved.