Uses of Interface
korat.testing.IKoratSearchStrategy

Packages that use IKoratSearchStrategy

korat.testing.impl

Uses of IKoratSearchStrategy in korat.testing.impl

Classes in korat.testing.impl that implement IKoratSearchStrategy

class

StateSpaceExplorer StateSpaceExplorer implements Korat search strategy

Fields in korat.testing.impl declared as IKoratSearchStrategy

protected IKoratSearchStrategy

TestCradle.stateSpaceExplorer

Methods in korat.testing.impl with parameters of type IKoratSearchStrategy

protected void	TestCradle.initStartAndEndCVs(IKoratSearchStrategy ssExplorer)
private void	TestCradle.printCV(IKoratSearchStrategy sse, boolean predicateOK)
protected void	TestCradle.printStatus(IKoratSearchStrategy sse, boolean predicateOK)