Uses of Interface
korat.utils.cv.ICVFactory

Packages that use ICVFactory

korat.testing.impl
korat.utils.cv

Uses of ICVFactory in korat.testing.impl

Fields in korat.testing.impl declared as ICVFactory

private ICVFactory

TestCradle.cvFactory

Uses of ICVFactory in korat.utils.cv

Classes in korat.utils.cv that implement ICVFactory

class	CVFactory Concrete factory for dealing with candidate vector related stuff.
class	CVFactoryDelta

Methods in korat.utils.cv that return ICVFactory

static ICVFactory

CVFactory.getCVFactory() Use this method to get currently configured factory