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