Package de.learnlib.datastructure.observationtable.writer

Interface ObservationTableWriter<I,D>

All Known Implementing Classes:

AbstractObservationTableWriter, ObservationTableASCIIWriter, ObservationTableHTMLWriter, SuffixASCIIWriter

public interface ObservationTableWriter<I,D>

Method Summary

Modifier and Type	Method	Description
default void	write(ObservationTable<? extends I,? extends D> table, File file)
default void	write(ObservationTable<? extends I,? extends D> table, PrintStream out)
void	write(ObservationTable<? extends I,? extends D> table, Appendable out)
default void	write(ObservationTable<? extends I,? extends D> table, StringBuilder out)

Method Detail

write

void write(ObservationTable<? extends I,? extends D> table,
           Appendable out)
    throws IOException

Throws:

IOException

write

default void write(ObservationTable<? extends I,? extends D> table,
                   PrintStream out)

write

default void write(ObservationTable<? extends I,? extends D> table,
                   StringBuilder out)

write

default void write(ObservationTable<? extends I,? extends D> table,
                   File file)
            throws IOException

Throws:

IOException