Package owl.automaton.hoa
Class HoaReader
- java.lang.Object
-
- owl.automaton.hoa.HoaReader
-
public final class HoaReader extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
HoaReader.HoaState
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Automaton<HoaReader.HoaState,?>
read(Reader reader, Function<List<String>,ValuationSetFactory> factorySupplier)
static Automaton<HoaReader.HoaState,?>
read(String string, Function<List<String>,ValuationSetFactory> factorySupplier)
static void
readStream(Reader reader, Function<List<String>,ValuationSetFactory> factorySupplier, Consumer<Automaton<HoaReader.HoaState,?>> consumer)
-
-
-
Method Detail
-
readStream
public static void readStream(Reader reader, Function<List<String>,ValuationSetFactory> factorySupplier, Consumer<Automaton<HoaReader.HoaState,?>> consumer) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
read
public static Automaton<HoaReader.HoaState,?> read(String string, Function<List<String>,ValuationSetFactory> factorySupplier) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
read
public static Automaton<HoaReader.HoaState,?> read(Reader reader, Function<List<String>,ValuationSetFactory> factorySupplier) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
-