Package owl.automaton.hoa
Class HoaWriter
- java.lang.Object
-
- owl.automaton.hoa.HoaWriter
-
public final class HoaWriter extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
HoaWriter.HoaOption
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> String
toString(Automaton<S,?> automaton)
static <S> String
toString(Automaton<S,?> automaton, EnumSet<HoaWriter.HoaOption> options)
static <S> void
write(Automaton<S,?> automaton, jhoafparser.consumer.HOAConsumer consumer)
static <S> void
write(Automaton<S,?> automaton, jhoafparser.consumer.HOAConsumer consumer, EnumSet<HoaWriter.HoaOption> options)
-
-
-
Method Detail
-
toString
public static <S> String toString(Automaton<S,?> automaton, EnumSet<HoaWriter.HoaOption> options)
-
write
public static <S> void write(Automaton<S,?> automaton, jhoafparser.consumer.HOAConsumer consumer)
-
write
public static <S> void write(Automaton<S,?> automaton, jhoafparser.consumer.HOAConsumer consumer, EnumSet<HoaWriter.HoaOption> options)
-
-