Package owl.automaton.hoa

Class HoaReader

java.lang.Object

owl.automaton.hoa.HoaReader

public final class HoaReader
extends Object

Method Summary

Modifier and Type	Method	Description
static Automaton<Integer,?>	read(Reader reader, Supplier<BddSetFactory> factorySupplier, List<String> predefinedAtomicPropositions)
static Automaton<Integer,?>	read(String string, Supplier<BddSetFactory> factorySupplier, List<String> predefinedAtomicPropositions)
static void	readStream(Reader reader, Supplier<BddSetFactory> factorySupplier, List<String> predefinedAtomicPropositions, Consumer<? super Automaton<Integer,?>> consumer)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

readStream

public static void readStream(Reader reader,
                              Supplier<BddSetFactory> factorySupplier,
                              @Nullable
                              List<String> predefinedAtomicPropositions,
                              Consumer<? super Automaton<Integer,?>> consumer)
                       throws jhoafparser.parser.generated.ParseException

Throws:

jhoafparser.parser.generated.ParseException

read

public static Automaton<Integer,?> read(String string,
                                              Supplier<BddSetFactory> factorySupplier,
                                              @Nullable
                                              List<String> predefinedAtomicPropositions)
                                       throws jhoafparser.parser.generated.ParseException

Throws:

jhoafparser.parser.generated.ParseException

read

public static Automaton<Integer,?> read(Reader reader,
                                              Supplier<BddSetFactory> factorySupplier,
                                              @Nullable
                                              List<String> predefinedAtomicPropositions)
                                       throws jhoafparser.parser.generated.ParseException

Throws:

jhoafparser.parser.generated.ParseException