korat.utils.cv
Interface ICVWriter

All Known Implementing Classes:

CVWriter, CVWriterDelta

public interface ICVWriter

Interface for writing candidate vectors to a file.

Author:

Aleksandar Milicevic

Method Summary

void	close() Closes underlying files, streams, etc.
void	writeCV(int[] cv, boolean predicateOK) Writes given candidate vector and its predicateOK flag to file.

Method Detail

writeCV

void writeCV(int[] cv,
             boolean predicateOK)
             throws IOException

Writes given candidate vector and its predicateOK flag to file.

Parameters:

cv - candidate vector to be written to file

predicateOK - if the given candidate vector passes predicate check or not

Throws:

IOException - if an I/O error occurs

close

void close()
           throws IOException

Closes underlying files, streams, etc.

Throws:

IOException - if an I/O error occurs