Package owl.automaton
Class AutomatonReader
- java.lang.Object
-
- owl.automaton.AutomatonReader
-
public final class AutomatonReader extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
AutomatonReader.HoaState
-
Method Summary
-
-
-
Method Detail
-
getConsumer
public static jhoafparser.consumer.HOAConsumerStore getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState,?>> consumer, FactorySupplier factory)
-
getConsumer
public static jhoafparser.consumer.HOAConsumerStore getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState,?>> consumer, ValuationSetFactory factory)
-
readHoa
public static void readHoa(InputStream stream, Consumer<Automaton<AutomatonReader.HoaState,?>> consumer, FactorySupplier factorySupplier) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
readHoa
public static void readHoa(InputStream stream, Consumer<Automaton<AutomatonReader.HoaState,?>> consumer, ValuationSetFactory vsFactory) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
readHoa
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(String input, FactorySupplier factorySupplier, Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
readHoa
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(String input, ValuationSetFactory vsFactory, Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
readHoa
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(InputStream stream, FactorySupplier factorySupplier, Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
readHoa
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(InputStream stream, ValuationSetFactory vsFactory, Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
readHoaCollection
public static List<Automaton<AutomatonReader.HoaState,?>> readHoaCollection(InputStream input, FactorySupplier factorySupplier) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
readHoaCollection
public static List<Automaton<AutomatonReader.HoaState,?>> readHoaCollection(String input, FactorySupplier factorySupplier) throws jhoafparser.parser.generated.ParseException
- Throws:
jhoafparser.parser.generated.ParseException
-
-