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.UncheckedHoaConsumerException

Method Summary

Modifier and Type	Method	Description
static <S> String	toString(Automaton<S,?> automaton)
static <S> void	write(Automaton<S,?> automaton, jhoafparser.consumer.HOAConsumer consumer, boolean stateLabels)
static <S> void	write(Automaton<S,?> automaton, jhoafparser.consumer.HOAConsumer consumer, boolean stateLabels, String subcommand, List<String> subcommandArgs, String automatonName)

Methods inherited from class java.lang.Object

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

Method Detail

toString

public static <S> String toString(Automaton<S,?> automaton)

write

public static <S> void write(Automaton<S,?> automaton,
                             jhoafparser.consumer.HOAConsumer consumer,
                             boolean stateLabels)
                      throws jhoafparser.consumer.HOAConsumerException

Throws:

jhoafparser.consumer.HOAConsumerException

write

public static <S> void write(Automaton<S,?> automaton,
                             jhoafparser.consumer.HOAConsumer consumer,
                             boolean stateLabels,
                             @Nullable
                             String subcommand,
                             @Nullable
                             List<String> subcommandArgs,
                             @Nullable
                             String automatonName)
                      throws jhoafparser.consumer.HOAConsumerException

Throws:

jhoafparser.consumer.HOAConsumerException