| Class | Description |
|---|---|
| Assignment |
This class creates either assignments or creates calls to setter methods to initiate fields.
|
| CustomPrettyPrinter | |
| ModelGenerator | |
| ProofInfo | |
| RefEx |
Reference expression
|
| ReflectionClassCreator |
Creates the RFL.java file, that provides setter and getter methods using the reflection API
as well as object creation functions based on the objenesis library.
|
| TestCaseGenerator |