Uses of Package
korat.finitization.impl

Packages that use korat.finitization.impl

korat.finitization.impl
korat.testing.impl

Classes in korat.finitization.impl used by korat.finitization.impl

ArrayElementCVElem
CVElem representing elements of an array

ClassDomain

CVElem

FieldDomain

Finitization

FinitizationFactory
Use this factroy class to create finitizations.

IntSet

NullClassDomain

ObjSet.CacheElement

PrimitiveTypeSet
Represents Field domain for primitive type.

StateSpace
Represents the state space scheme required by ITestCaseGenerator.

Classes in korat.finitization.impl used by korat.testing.impl

CandidateBuilder
CandidateBuilder is responsible for building the object structure from candidate vector.

StateSpace
Represents the state space scheme required by ITestCaseGenerator.