|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| ArrayElementCVElem | CVElem representing elements of an array |
| ArraySet | |
| BooleanSet | |
| ByteSet | |
| CandidateBuilder | CandidateBuilder is responsible for building the object
structure from candidate vector. |
| ClassDomain | |
| CVElem | |
| DoubleSet | |
| FieldDomain | |
| Finitization | |
| FinitizationFactory | Use this factroy class to create finitizations. |
| FloatSet | |
| IntSet | |
| LongSet | |
| NullClassDomain | |
| ObjSet | |
| ObjSet.CacheElement | |
| PrimitiveTypeSet | Represents Field domain for primitive type. |
| ShortSet | |
| StateSpace | Represents the state space scheme required by ITestCaseGenerator. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||