de.learnlib.datastructure.observationtable.writer

Class ObservationTableASCIIWriter<I,D>

java.lang.Object

de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter<I,D>

de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter<I,D>

All Implemented Interfaces:

ObservationTableWriter<I,D>

public class ObservationTableASCIIWriter<I,D>
extends AbstractObservationTableWriter<I,D>

Field Summary

Fields inherited from class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

outputToString, wordToString

Constructor Summary

Constructors

Constructor and Description
ObservationTableASCIIWriter()
ObservationTableASCIIWriter(boolean rowSeparators)
ObservationTableASCIIWriter(Function<? super net.automatalib.words.Word<? extends I>,? extends String> wordToString, Function<? super D,? extends String> outputToString, boolean rowSeparators)

Method Summary

Modifier and Type	Method and Description
void	setRowSeparators(boolean rowSeparators)
void	write(ObservationTable<? extends I,? extends D> table, Appendable out)

Methods inherited from class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

outputToString, safeToStringFunction, setOutputToString, setWordToString, wordToString

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.datastructure.observationtable.writer.ObservationTableWriter

write, write, write

Constructor Detail

ObservationTableASCIIWriter

public ObservationTableASCIIWriter(Function<? super net.automatalib.words.Word<? extends I>,? extends String> wordToString,
                                   Function<? super D,? extends String> outputToString,
                                   boolean rowSeparators)

ObservationTableASCIIWriter

public ObservationTableASCIIWriter()

ObservationTableASCIIWriter

public ObservationTableASCIIWriter(boolean rowSeparators)

Method Detail

setRowSeparators

public void setRowSeparators(boolean rowSeparators)

write

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

Throws:

IOException