public final class AutomatonReader
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
AutomatonReader.HoaState |
Modifier and Type | Method | Description |
---|---|---|
static jhoafparser.consumer.HOAConsumerStore |
getConsumer(java.util.function.Consumer<? super Automaton<AutomatonReader.HoaState,?>> consumer,
FactorySupplier factory) |
|
static jhoafparser.consumer.HOAConsumerStore |
getConsumer(java.util.function.Consumer<? super Automaton<AutomatonReader.HoaState,?>> consumer,
ValuationSetFactory factory) |
|
static void |
readHoa(java.io.InputStream stream,
java.util.function.Consumer<Automaton<AutomatonReader.HoaState,?>> consumer,
FactorySupplier factorySupplier) |
|
static void |
readHoa(java.io.InputStream stream,
java.util.function.Consumer<Automaton<AutomatonReader.HoaState,?>> consumer,
ValuationSetFactory vsFactory) |
|
static <A extends OmegaAcceptance> |
readHoa(java.io.InputStream stream,
FactorySupplier factorySupplier,
java.lang.Class<A> acceptanceClass) |
|
static <A extends OmegaAcceptance> |
readHoa(java.io.InputStream stream,
ValuationSetFactory vsFactory,
java.lang.Class<A> acceptanceClass) |
|
static <A extends OmegaAcceptance> |
readHoa(java.lang.String input,
FactorySupplier factorySupplier,
java.lang.Class<A> acceptanceClass) |
|
static <A extends OmegaAcceptance> |
readHoa(java.lang.String input,
ValuationSetFactory vsFactory,
java.lang.Class<A> acceptanceClass) |
|
static java.util.List<Automaton<AutomatonReader.HoaState,?>> |
readHoaCollection(java.io.InputStream input,
FactorySupplier factorySupplier) |
|
static java.util.List<Automaton<AutomatonReader.HoaState,?>> |
readHoaCollection(java.lang.String input,
FactorySupplier factorySupplier) |
public static jhoafparser.consumer.HOAConsumerStore getConsumer(java.util.function.Consumer<? super Automaton<AutomatonReader.HoaState,?>> consumer, FactorySupplier factory)
public static jhoafparser.consumer.HOAConsumerStore getConsumer(java.util.function.Consumer<? super Automaton<AutomatonReader.HoaState,?>> consumer, ValuationSetFactory factory)
public static void readHoa(java.io.InputStream stream, java.util.function.Consumer<Automaton<AutomatonReader.HoaState,?>> consumer, FactorySupplier factorySupplier) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException
public static void readHoa(java.io.InputStream stream, java.util.function.Consumer<Automaton<AutomatonReader.HoaState,?>> consumer, ValuationSetFactory vsFactory) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(java.lang.String input, FactorySupplier factorySupplier, java.lang.Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(java.lang.String input, ValuationSetFactory vsFactory, java.lang.Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(java.io.InputStream stream, FactorySupplier factorySupplier, java.lang.Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException
public static <A extends OmegaAcceptance> Automaton<AutomatonReader.HoaState,A> readHoa(java.io.InputStream stream, ValuationSetFactory vsFactory, java.lang.Class<A> acceptanceClass) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException
public static java.util.List<Automaton<AutomatonReader.HoaState,?>> readHoaCollection(java.io.InputStream input, FactorySupplier factorySupplier) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException
public static java.util.List<Automaton<AutomatonReader.HoaState,?>> readHoaCollection(java.lang.String input, FactorySupplier factorySupplier) throws jhoafparser.parser.generated.ParseException
jhoafparser.parser.generated.ParseException