Uses of Interface
korat.finitization.IFinitization

Packages that use IFinitization

korat.finitization
korat.finitization.impl
korat.testing.impl

Uses of IFinitization in korat.finitization

Methods in korat.finitization that return IFinitization

IFinitization	IFinitizationFactory.createFinitization(Class clz) Creates IFinitization object for the given parameter clz
IFinitization	IFinitization.getIncludedFinitization(Class clazz) Returns the included finitization, if there is such, for type given by clazz parameter

Methods in korat.finitization with parameters of type IFinitization

boolean

IFinitization.includeFinitization(IFinitization fin) Includes information from finitization fin into current finitization.

Uses of IFinitization in korat.finitization.impl

Classes in korat.finitization.impl that implement IFinitization

class

Finitization

Methods in korat.finitization.impl that return IFinitization

static IFinitization	FinitizationFactory.create(Class clz) Helper method.
IFinitization	FinitizationFactory.createFinitization(Class clz)
IFinitization	Finitization.getIncludedFinitization(Class clazz)

Methods in korat.finitization.impl with parameters of type IFinitization

boolean

Finitization.includeFinitization(IFinitization ifin)

Uses of IFinitization in korat.testing.impl

Methods in korat.testing.impl that return IFinitization

private IFinitization

TestCradle.invokeFinMethod(Class cls, Method finitize, String[] finArgs)

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

protected void	TestCradle.startTestGeneration(IFinitization fin)
protected void	TestCradleII.startTestGeneration(IFinitization fin)

Constructors in korat.testing.impl with parameters of type IFinitization

StateSpaceExplorer(IFinitization ifin)