|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use korat.finitization | |
|---|---|
| korat.finitization | |
| korat.finitization.impl | |
| korat.testing.impl | |
| Classes in korat.finitization used by korat.finitization | |
|---|---|
| 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. |
|
| 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. |
|
| Classes in korat.finitization used by korat.finitization.impl | |
|---|---|
| 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. |
|
| Classes in korat.finitization used by korat.testing.impl | |
|---|---|
| IFinitization
The IFinitization interface is used to set up the bounds
for the search. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||