#706 More synthesis/BDD renaming and splitting synthesis/non-synthesis parts
- Another batch of changes. Quite a few changes, but separately they are all small. Best to review per commit.
- Overview of the changes (see commit messages for the details):
- Renamed some classes/variables/fields to be non-synthesis specific.
- Avoid sythesis-specifics in JavaDocs and comments of non-synthesis-specific classes.
- Some other JavaDoc/comment improvements.
- Split synthesis and non-synthesis specific parts for certain classes. Especially introduced a
CifDataSynthesisResult
class.
- Does not affect end users.
Addresses #706 (closed)