Uses of Package
korat.utils.cv

Packages that use korat.utils.cv
korat.testing.impl   
korat.utils.cv   
 

Classes in korat.utils.cv used by korat.testing.impl
CVFinderDelta
           
ICVFactory
           
 

Classes in korat.utils.cv used by korat.utils.cv
AlgSimulator
          Simulates algorithm that saves equidistant vectors
C.Candidate
           
C.Pair
           
CVFactory
          Concrete factory for dealing with candidate vector related stuff.
CVFactoryDelta
           
CVFinderDelta.FinderResult
           
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.
WriteCVListener
           
WriteCVListener.WriteNumMode
          Writes only given number of vectors to file knowing the expected number of explored vectors in advance.
WriteCVListener.WriterMode
          Writes all vectors to file.