Class AUTParser
- java.lang.Object
-
- net.automatalib.serialization.aut.AUTParser
-
public final class AUTParser extends Object
A parser for automata specified in the AUT format (see http://cadp.inria.fr/man/aut.html for further information).
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static InputModelData<String,SimpleAutomaton<Integer,String>>
readAutomaton(InputStream is)
static <I> InputModelData<I,SimpleAutomaton<Integer,I>>
readAutomaton(InputStream is, Function<String,I> inputTransformer)
-
-
-
Method Detail
-
readAutomaton
public static InputModelData<String,SimpleAutomaton<Integer,String>> readAutomaton(InputStream is) throws IOException
- Throws:
IOException
-
readAutomaton
public static <I> InputModelData<I,SimpleAutomaton<Integer,I>> readAutomaton(InputStream is, Function<String,I> inputTransformer) throws IOException
- Throws:
IOException
-
-