Package korat.utils.cv

Interface Summary

ICVFactory
ICVFinder	Interface for searching for candidate vectors in the given candidate-vectors-file.
ICVReader	Interface for sequential reading of candidate vectors from the candidate-vectors-file.
ICVWriter	Interface for writing candidate vectors to a file.

Class Summary

AlgSimulator	Simulates algorithm that saves equidistant vectors
C
C.Candidate
C.Pair
Cmp
CVCmp
CVComparer	Utility class.
CVFactory	Concrete factory for dealing with candidate vector related stuff.
CVFactoryDelta
CVFinder
CVFinderDelta
CVFinderDelta.FinderResult
CVReader	Utility for reading candidate vector files written according to CVWriter's format.
CVReaderDelta
CVSim
CVWriter	Utility for writing candidate vectors in a binary file.
CVWriterDelta	Writes candidate vectors using deltas.
WriteCVListener
WriteCVListenerSim