Package korat.finitization

Interface Summary
IArraySet Interface IArraySet represents field domain (set of values a field can take) for array fields.
IBooleanSet IBooleanSet represents field domain for boolean fields
IByteSet IByteSet represents field domain for byte fields
IClassDomain Class domain is a set of objects of some concrete reference type.
IDoubleSet IDoubleSet represents field domain for double fields
IFieldDomain Interface that represents Field domains.
IFinitization The IFinitization interface is used to set up the bounds for the search.
IFinitizationFactory  
IFloatSet Interface that represents field domain of the primitive type float.
IIntSet Interface that represents field domain of the primitive type int.
ILongSet Interface that represents field domain of the primitive type long.
IObjSet Interface that represents Field domains for reference types.
IPrimitiveTypeSet Interface that represents Field domain for primitive type.
IShortSet Interface that represents field domain of the primitive type short.