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 classHoaWriter.HoaOption
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> StringtoString(Automaton<S,?> automaton)static <S> StringtoString(Automaton<S,?> automaton, EnumSet<HoaWriter.HoaOption> options)static <S> voidwrite(Automaton<S,?> automaton, jhoafparser.consumer.HOAConsumer consumer)static <S> voidwrite(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)
-
-